title: Hyperfine-assisted decoherence of a phosphorus nuclear-spin qubit in silicon

abstract: The nuclear spin of a phosphorus atom in silicon has been used as a quantum bit in various quantum-information experiments. It has been proposed that this nuclear-spin qubit can be efficiently controlled by an ac electric field, when embedded in a two electron dot-donor setup subject to intrinsic or artificial spin-orbit interaction. Exposing the qubit to control electric fields in that setup exposes it to electric noise as well. In this work, we describe the effect of electric noise mechanisms, such as phonons and $1/f$ charge noise, and estimate the corresponding decoherence time scales of the nuclear-spin qubit. We identify a promising parameter range where the electrical single-qubit operations are at least an order of magnitude faster then the decoherence. In this regime, decoherence is dominated by dephasing due to $1/f$ charge noise. Our results facilitate the optimized design of nanostructures to demonstrate electrically driven nuclear spin resonance.


title: Magnetoelectric Effects and Charge-Imbalanced Solenoids: Antiferro Quadrupole Orders in a Diamond Structure

abstract: We study magnetoelectric (magneto-current) effects in a diamond structure under antiferro quadrupole (AFQ) orders. The AFQ orders break the spacial inversion symmetry and cause the current-induced magnetization. The current-induced magnetization strongly depends on the types of the order parameters and the direction of the current. This gives a way to the experimental identification of AFQ order parameters. We also discuss the current-induced magnetization under the AFQ orders in the diamond structure can be intuitively understood in terms of charge-imbalanced solenoids.


title: Stable Gabor phase retrieval for multivariate functions

abstract: In recent work [P. Grohs and M. Rathmair. Stable Gabor Phase Retrieval and Spectral Clustering. Communications on Pure and Applied Mathematics (2018)] the instabilities of the Gabor phase retrieval problem, i.e., the problem of reconstructing a function $f$ from its spectrogram $|\mathcal{G}f|$, where $$ \mathcal{G}f(x,y)=\int_{\mathbb{R}^d} f(t) e^{-\pi|t-x|^2} e^{-2\pi i t\cdot y} dt, \quad x,y\in \mathbb{R}^d, $$ have been completely classified in terms of the disconnectedness of the spectrogram. These findings, however, were crucially restricted to the onedimensional case ($d=1$) and therefore not relevant for many practical applications. In the present paper we not only generalize the aforementioned results to the multivariate case but also significantly improve on them. Our new results have comprehensive implications in various applications such as ptychography, a highly popular method in coherent diffraction imaging.


title: Star Formation and ISM Properties in Host Galaxies of Three Far-infrared Luminous Quasars at $z\sim6$

abstract: We present Karl G. Jansky Very Large Array (VLA) observations of the CO (2$-$1) line emission towards three far-infrared luminous quasars at $z\sim6$: SDSS J231038.88$+$185519.7 and SDSS J012958.51$-$003539.7 with $\sim0\farcs6$ resolution and SDSS J205406.42$-$000514.8 with $\sim2\farcs1$ resolution. All three sources are detected in the CO (2$-$1) line emission -- one source is marginally resolved, and the other two appear as point sources. Measurements of the CO (2$-$1) line emission allow us to calculate the molecular gas mass even without a CO excitation model. The inferred molecular gas masses are (0.8$-$4.3) $\times$ 10$^{10}$ $M_{\odot}$. The widths and redshifts derived from the CO (2$-$1) line are consistent with previous CO (6$-$5) and [\ion{C}{2}] measurements. We also report continuum measurements using the Herschel for SDSS J231038.88$+$185519.7 and SDSS J012958.51$-$003539.7, and for SDSS J231038.88+185519.7, data obtained at $\sim140$ and $\sim300$ GHz using the Atacama Large Millimeter/submillimeter Array (ALMA). In the case of SDSS J231038.88+185519.7, we present a detailed analysis of the spectral energy distribution and derive the dust temperature ($\sim40$ K), the dust mass ($\sim10^{9}$ $M_{\odot}$), the far-infrared luminosity (8$-$1000 $\mu$m; $\sim10^{13}$ $ L_{\odot}$) and the star formation rate (2400$-$2700 $M_{\odot}$ yr$^{-1}$). Finally, an analysis of the photo-dissociation regions associated with the three high redshift quasars indicates that the interstellar medium in these sources has similar properties to local starburst galaxies.


title: Quantum tomography of photon states encoded in polarization and picosecond time-bins

abstract: A single photon has many physical degrees of freedom (DOF) that can carry the state of a high-dimensional quantum system. Nevertheless, only a single DOF is usually used in any specific demonstration. Furthermore, when more DOF are being used, they are analyzed and measured one at a time. We introduce a two-qubit information system, realized by two degrees of freedom of a single photon: polarization and time. The photon arrival time is divided into two time-bins representing a qubit, while its polarization state represents a second qubit. The time difference between the two time-bins is created without an interferometer at the picosecond scale, which is much smaller than the detector's response time. The two physically different DOF are analyzed simultaneously by photon bunching between the analyzed photon and an ancilla photon. Full two-qubit states encoded in single photons were reconstructed using quantum state tomography, both when the two DOF were entangled and when they were not, with fidelities higher than 96%.


title: Measuring timing properties of PSR B0540-69

abstract: We report on the timing properties of the `Crab twin' pulsar PSR~B0540$-$69 measured with X-ray data taken with the Swift telescope over a period of 1100\,days. The braking index of the pulsar was estimated to be $n = 0.03\pm0.013$ in a previous study performed in 2015 with 500-day Swift data. This small value of $n$ is unusual for pulsars, and a comparison to old measurements of $n\approx2.1$ for the same target determined $\sim$10 years ago suggests a dramatic change in the braking index. To confirm the small value and large change of $n$, we used 1100-day Swift observations including the data used for measuring $n=0.03$. In this study we found that the braking index of PSR~B0540$-$69 is $n=0.163\pm0.001$, somewhat larger than $0.03$. Since the measured value of $n$ is still much smaller than $2.1$, we can confirm the dramatic change in the braking index for this pulsar.


title: Few vs many-body physics of an impurity immersed in a superfluid of spin 1/2 attractive fermions

abstract: In this article we investigate the properties of an impurity immersed in a superfluid of strongly correlated spin 1/2 fermions. For resonant interactions, we first relate the stability diagram of dimer and trimer states to the three-body problem for an impurity interacting with a pair of fermions. Then we calculate the beyond-mean-field corrections to the energy of a weakly interacting impurity. We show that these corrections are divergent and have to be regularized by properly accounting for three-body physics in the problem.


title: Uglov bipartitions and extended Young diagrams

abstract: We study the class of Uglov bipartitions and prove a generalization of a conjecture by Dipper, James and Murphy. We give two consequences concerning the computation of canonical bases in affine type A and the description of decomposition matrices for Hecke algebras of type Bn in arbitrary characteristic.


title: Momentum space conformal three-point functions of conserved currents and a general spinning operator

abstract: We construct conformal three-point functions in momentum space with a general tensor and conserved currents of spin $1$ and $2$. While conformal correlators in momentum space have been studied especially in the connection with cosmology, correlators involving a tensor of general spin and scaling dimension have not been studied very much yet. Such a direction is unavoidable when we go beyond three-point functions because general tensors always appear as an intermediate state. In this paper, as a first step, we solve the Ward-Takahashi identities for correlators of a general tensor and conserved currents. In particular we provide their expression in terms of the so-called triple-$K$ integrals and a differential operator which relates triple-$K$ integrals with different indices. For several correlators, closed forms without the differential operator are also found.

categories: hep-th cond-mat.stat-mech math-ph math.MP


title: Velocity interpolation based Bounce-Back scheme for non-slip boundary condition in Lattice Boltzmann Method

abstract: Lattice Boltzmann Method(LBM) has achieved considerable success on simulating complex flows. However, how to impose correct boundary conditions on the fluid-solid interface with complex geometries is still an open question. Here we proposed a velocity interpolation based bounce-back scheme where the ideas of interpolated bounce-back and non-equilibrium extrapolation are combined. The proposed scheme is validated by several well-defined benchmark cases. It is shown that the proposed scheme offers a better accuracy at high Reynolds number and less dependency on solids positions which may crucial in many engineering and science applications.


title: Quadratically regularized optimal transport

abstract: We investigate the problem of optimal transport in the so-called Kantorovich form, i.e. given two Radon measures on two compact sets, we seek an optimal transport plan which is another Radon measure on the product of the sets that has these two measures as marginals and minimizes a certain cost function. We consider quadratic regularization of the problem, which forces the optimal transport plan to be a square integrable function rather than a Radon measure. We derive the dual problem and show strong duality and existence of primal and dual solutions to the regularized problem. Then we derive two algorithms to solve the dual problem of the regularized problem: A Gauss-Seidel method and a semismooth quasi-Newton method and investigate both methods numerically. Our experiments show that the methods perform well even for small regularization parameters. Quadratic regularization is of interest since the resulting optimal transport plans are sparse, i.e. they have a small support (which is not the case for the often used entropic regularization where the optimal transport plan always has full measure).


title: Resource-sharing Policy in Multi-tenant Scientific Workflow-as-a-Service Cloud Platform

abstract: Increased adoption of scientific workflows in the community has urged for the development of multi-tenant platforms that provide these workflow executions as a service. As a result, Workflow-as-a-Service (WaaS) concept has been created by researchers to address the future design of Workflow Management Systems (WMS) that can serve a large number of users from a single point of service. These platforms differ from traditional WMS in that they handle a workload of workflows at runtime. A traditional WMS is usually designed to execute a single workflow in a dedicated process while WaaS cloud platforms enhance the process by exploiting multiple workflows execution in a multi-tenant environment model. In this paper, we explore a novel resource-sharing policy to improve system utilization and to fulfil various Quality of Service (QoS) requirements from multiple users in WaaS cloud platforms. We propose an Elastic Budget-constrained resource Provisioning and Scheduling algorithm for Multiple workflows that can reduce the computational overhead by encouraging resource sharing to minimize workflows' makespan while meeting a user-defined budget. Our experiments show that the EBPSM algorithm can utilize the resource-sharing policy to achieve higher performance in terms of minimizing the makespan compared to the state-of-the-art budget-constraint scheduling algorithm.


title: Forward and Backward Stochastic Differential Equations with normal constraint in law

abstract: In this paper we investigate the well-posedness of backward or forward stochastic differential equations whose law is constrained to live in an a priori given (smooth enough) set and which is reflected along the corresponding ''normal'' vector. We also study the associated interacting particle system reflected in mean field and asymptotically described by such equations. The case of particles submitted to a common noise as well as the asymptotic system is studied in the forward case. Eventually, we connect the forward and backward stochastic differential equations with normal constraints in law with partial differential equations stated on the Wasserstein space and involving a Neumann condition in the forward case and an obstacle in the backward one.


title: Synthesis, Structural and Optical Properties of (ALa)(FeMn)O6 (A = Ba and Sr) Double Perovskites

abstract: Here, we report structural and optical properties of (ALa)(FeMn)O6 (A = Ba and Sr) double perovskite synthesized via auto-combustion followed by a calcination process. Rietveld refinement of the structure using x-ray diffraction data reveals that (BaLa)(FeMn)O6 crystallizes into cubic crystal structure with space group Pm-3m while (SrLa)(FeMn)O6 crystallizes into rhombohedral crystal structure having space group R-3c. The absorption spectrum measurement using UV-Vis spectroscopy reveals that these samples are perfect insulator having an energy band gap between conduction and valence band of the order of 6 eV.


title: Generalizations of Ekeland-Hofer and Hofer-Zehnder symplectic capacities and applications

abstract: In this paper we construct analogues of Ekeland-Hofer and Hofer-Zehnder symplectic capacities based on a class of Hamiltonian boundary value problems motivated by Clarke's and Ekeland's work, and study generalizations of some important results about the original two capacities (for example, the famous Weinstein conjecture, representation formula for $c_{\rm EH}$ and $c_{\rm HZ}$, and a theorem by Evgeni Neduv).


title: A multi-layer reduced model for flow in porous media with a fault and surrounding damage zones

abstract: In this work we present a new conceptual model to describe fluid flow in a porous media system in presence of a large fault. Geological faults are often modeled simply as interfaces in the rock matrix, but they are complex structure where the high strain core is surrounded by the so called damage zones, characterized by the presence of smaller fractures which enhance the permeability of the medium. To obtain reliable simulation outcomes these damage zone, as well as the fault, have to be accurately described. The new model proposed in this work considers both these two regions as lower dimensional and embedded in the rock matrix. The model is presented, analyzed, and tested in several configurations to prove its robustness and ability to capture many important features, such as hight contrast and heterogeneity of permeability.


title: Tips learned from panchromatic modeling of AGNs

abstract: I will review the tips learned from panchromatic modeling of active galactic nuclei (AGNs), based on our recent work to study the relationship between AGN and star formation (SF). Several AGN SED models are compared, and signifficant AGN contribution is found in the IR luminosities and corresponding star formation rate (SFR). I will review the AGN-SF relation and how different parameters and sample selections affect the observed correlation. I will then report on the constant ratio discovered between the SFR and the black hole mass accretion rate (BHAR), and their implications on the gas supply and galaxy formation history of these systems. Caveats and important questions to answer are summarized at the end.


title: Overview of Spin Physics at EIC

abstract: The possibilities to measure spin effects at a high-energy Electron-Ion Collider (EIC) are reviewed from a theory point of view. Various types of spin distributions and promising observables are discussed.


title: Error Exponents of Typical Random Trellis Codes

abstract: In continuation to an earlier work, where error exponents of typical random codes were studied in the context of general block coding, with no underlying structure, here we carry out a parallel study on typical random, time-varying trellis codes for general discrete memoryless channels, focusing on a certain range of low rates. By analyzing an upper bound to the error probability of the typical random trellis code, using the method of types, we first derive a Csiszar-style error exponent formula (with respect to the constraint length), which allows to easily identify and characterize properties of good codes and dominant error events. We also derive a Gallager-style form of this error exponent, which turns out to be related to the expurgated error exponent. The main result is further extended to channels with memory and mismatch.


title: Corrigendum to "Reduced Tangent Cones and Conductor at Multiplanar Isolated Singularities"

abstract: We explicitly fix a mistake in a preliminary statement of our previous paper on the conductor at a multiplanar singularity. The correction is not immediate and, though the mistake does not affect correctness of the subsequent results, the wrong statement could easily be misleading.


title: A new spectroscopic probe to search for magic numbers at high-excitation energies

abstract: Empirical drops in ground-state nuclear polarizabilities indicate deviations from the effect of giant dipole resonances and may reveal the presence of shell effects in semi-magic nuclei with neutron magic numbers $N=50$, 82 and 126. Similar drops of polarizability in the quasi-continuum of nuclei with, or close to, magic numbers $N=28$, 50 and 82, could reflect the continuing influence of shell closures up to the nucleon separation energy. These findings open a new avenue to investigating magic numbers at high-excitation energies and strongly support recent large-scale shell-model calculations in the quasi-continuum region, which describe the origin of the low-energy enhancement of the photon strength function as induced paramagnetism. The nuclear-structure dependence of the photon-strength function asserts the generalized Brink-Axel hypothesis as more universal than originally expected.


title: Reconstruction of Hydraulic Data by Machine Learning

abstract: Numerical simulation models associated with hydraulic engineering take a wide array of data into account to produce predictions: rainfall contribution to the drainage basin (characterized by soil nature, infiltration capacity and moisture), current water height in the river, topography, nature and geometry of the river bed, etc. This data is tainted with uncertainties related to an imperfect knowledge of the field, measurement errors on the physical parameters calibrating the equations of physics, an approximation of the latter, etc. These uncertainties can lead the model to overestimate or underestimate the flow and height of the river. Moreover, complex assimilation models often require numerous evaluations of physical solvers to evaluate these uncertainties, limiting their use for some real-time operational applications. In this study, we explore the possibility of building a predictor for river height at an observation point based on drainage basin time series data. An array of data-driven techniques is assessed for this task, including statistical models, machine learning techniques and deep neural network approaches. These are assessed on several metrics, offering an overview of the possibilities related to hydraulic time-series. An important finding is that for the same hydraulic quantity, the best predictors vary depending on whether the data is produced using a physical model or real observations.


title: Impact of leptonic unitarity and dark matter direct detection experiments on the NMSSM with inverse seesaw mechanism

abstract: In the Next-to-Minimal Supersymmetric Standard Model with the inverse seesaw mechanism to generate neutrino masses, the lightest sneutrino may act as a feasible dark matter candidate in vast parameter space. In this case, the smallness of the leptonic unitarity violation and the recent XENON-1T experiment can limit the dark matter physics. In particular, they set upper bounds of the neutrino Yukawa couplings $\lambda_\nu$ and $Y_\nu$. We study such effects by encoding the constraints in a likelihood function and carrying out elaborated scans over the parameter space of the theory with the Nested Sampling algorithm. We show that these constraints are complementary to each other in limiting the theory, and in some cases, they are very strict. We also study the impact of the future LZ experiment on the theory.


title: Consideration of Thermal Hall Effect in Undoped Cuprates

abstract: A recent observation of thermal Hall effect of magnetic origin in underdoped cuprates calls for critical re-examination of low-energy magnetic dynamics in undoped antiferromagnetic compound on square lattice, where traditional, renormalized spin-wave theory was believed to work well. Using Holstein-Primakoff boson formalism, we find that magnon-based theories can lead to finite Berry curvature in the magnon band once the Dzyaloshinskii-Moriya spin interaction is taken into account explicitly, but fail to produce non-zero thermal Hall conductivity. Assuming accidental doping by impurities and magnon scattering off of such impurity sites fails to predict skew scattering at the level of Born approximation. Local formation of skyrmion defects is also found incapable of generating magnon thermal Hall effect. Turning to spinon-based scenario, we write down a simple model by adding spin-dependent diagonal hopping to the well-known {\pi}-flux model of spinons. The resulting two-band model has Chern number in the band structure, and generates thermal Hall conductivity whose magnetic field and temperature dependences mimic closely the observed thermal Hall signals. In disclaimer, there is no firm microscopic basis of this model and we do not claim to have found an explanation of the data, but given the unexpected nature of the experimental observation, it is hoped this work could serve as a first step towards reaching some level of understanding.


title: Role of equation of states and thermodynamic potentials in avoidance of trapped surfaces in gravitational collapse

abstract: In this paper we consider the novel scenario where a spherically symmetric perfect fluid star is undergoing continual gravitational collapse while continuously radiating energy in an exterior radiating spacetime. There are no trapped surfaces and the collapse ends to a flat spacetime. Also the collapsing matter obeys the weak and dominant energy conditions at all epoch. Our analysis transparently brings out the role of the equation of state as well as the bounds on the thermodynamic potentials to realise such a scenario. We argue that, since the system of Einstein field equations allows for such a scenario for an open set of initial data as well as the equation of state function in their respective functional spaces, these models are generic and devoid of the problems and paradoxes related to horizons and singularities. The recent high resolution radio telescopes should in principle detect the presence of these compact objects in the sky.


title: Mean--field stability for the junction of quasi 1D systems with Coulomb interactions

abstract: Junctions appear naturally when one studies surface states or transport properties of quasi one dimensional materials such as carbon nanotubes, polymers and quantum wires. These materials can be seen as 1D systems embedded in the 3D space. In this article, we first establish a mean--field description of reduced Hartree--Fock type for a 1D periodic system in the 3D space (a quasi 1D system), the unit cell of which is unbounded. With mild summability condition, we next show that a quasi 1D system in its ground state can be described by a mean--field Hamiltonian. We also prove that the Fermi level of this system is always negative. A junction system is described by two different infinitely extended quasi 1D systems occupying separately half spaces in 3D, where Coulombic electron-electron interactions are taken into account and without any assumption on the commensurability of the periods. We prove the existence of the ground state for a junction system, the ground state is a spectral projector of a mean--field Hamiltonian, and the ground state density is unique.


title: Fully Distributed DC Optimal Power Flow Based on Distributed Economic Dispatch and Distributed State Estimation

abstract: Optimal power flow (OPF) is an important technique for power systems to achieve optimal operation while satisfying multiple constraints. The traditional OPF are mostly centralized methods which are executed in the centralized control center. This paper introduces a totally Distributed DC Optimal Power Flow (DDCOPF) method for future power systems which have more and more distributed generators. The proposed method is based on the Distributed Economic Dispatch (DED) method and the Distributed State Estimation (DSE) method. In this proposed scheme, the DED method is used to achieve the optimal power dispatch with the lowest cost, and the DSE method provides power flow information of the power system to the proposed DDCOPF algorithm. In the proposed method, the Auto-Regressive (AR) model is used to predict the load variation so that the proposed algorithm can prevent overflow. In addition, a method called constraint algorithm is developed to correct the results of DED with the proposed correction algorithm and penalty term so that the constraints for the power system will not be violated. Different from existing research, the proposed method is completely distributed without need for any centralized facility.


title: Constraints on ultra-low-frequency gravitational waves with statistics of pulsar spin-down rates

abstract: We probe ultra-low-frequency gravitational waves (GWs) with statistics of spin-down rates of milli-second pulsars (MSPs) by a method proposed in our prevous work (Yonemaru et al. 2016). The considered frequency range is $10^{-12}{\rm Hz} \lesssim f_{\rm GW} \lesssim 10^{-10}$Hz, which cannot be accessed by the conventional pulsar timing array. The effect of such low-frequency GWs appears as a bias to spin-down rates which has a quadrupole pattern in the sky. We use the skewness of the spin-down rate distribution and the number of MSPs with negative spin-down rates to search for the bias induced by GWs. Applying this method to 149 MSPs selected from the ATNF pulsar catalog, we derive upper bounds on the time derivative of the GW amplitudes of $\dot{h} < 6.2 \times 10^{-18}~{\rm sec}^{-1}$ and $\dot{h} < 8.1 \times 10^{-18}~{\rm sec}^{-1}$ in the directions of the Galactic Center and M87, respectively. Approximating the GW amplitude as $\dot{h} \sim 2 \pi f_{\rm GW} h$, the bounds translate into $h < 3 \times 10^{-9}$ and $h < 4 \times 10^{-9}$, respectively, for $f_{\rm GW} = 1/(100~{\rm yr})$. Finally, we give the implications to possible super-massive black hole binaries at these sites.


title: A functional-model-adjusted spatial scan statistic

abstract: This paper introduces a new spatial scan statistic designed to adjust cluster detection for longitudinal confounding factors indexed in space. The functional-model-adjusted statistic was developed using generalized functional linear models in which longitudinal confounding factors were considered to be functional covariates. A general framework was developed for application to various probability models. Application to a Poisson model showed that the new method is equivalent to a conventional spatial scan statistic that adjusts the underlying population for covariates. In a simulation study with univariate and multivariate models, we found that our new method adjusts the cluster detection procedure more accurately than other methods. Use of the new spatial scan statistic was illustrated by analysing data on premature mortality in France over the period from 1998 to 2013, with the quarterly unemployment rate as a longitudinal confounding factor.


title: Multiple $SU(3)$ algebras in shell model and \\ interacting boson model

abstract: Rotational $SU(3)$ algebraic symmetry continues to generate new results in the shell model (SM). Interestingly, it is possible to have multiple $SU(3)$ algebras for nucleons occupying an oscillator shell $\eta$. Several different aspects of the multiple $SU(3)$ algebras are investigated using shell model and also deformed shell model based on Hartree-Fock single particle states with nucleons in $sdg$ orbits giving four $SU(3)$ algebras. Results show that one of the $SU(3)$ algebra generates prolate shapes, one oblate shape and the other two also generate prolate shape but one of them gives quiet small quadrupole moments for low-lying levels. These are inferred by using the standard form for the electric quadrupole transition operator and using quadrupole moments and $B(E2)$ values in the ground $K=0^+$ band in three different examples. Multiple $SU(3)$ algebras extend to interacting boson model and using $sdg$IBM, the structure of the four $SU(3)$ algebras in this model are studied by coherent state analysis and asymptotic formulas for $E2$ matrix elements. The results from $sdg$IBM further support the conclusions from the $sdg$ shell model examples.


title: A Fast and Accurate Method to Capture the Solar Corona/Transition Region Enthalpy Exchange

abstract: The brightness of the emission from coronal loops in the solar atmosphere is strongly dependent on the temperature and density of the confined plasma. After a release of energy, these loops undergo a heating and upflow phase, followed by a cooling and downflow cycle. Throughout, there are significant variations in the properties of the coronal plasma. In particular, the increased coronal temperature leads to an excess downward heat flux that the transition region is unable to radiate. This generates an enthalpy flux from the transition region to the corona, increasing the coronal density. The enthalpy exchange is highly sensitive to the transition region resolution in numerical simulations. With a numerically under-resolved transition region, major errors occur in simulating the coronal density evolution and, thus, the predicted loop emission. This Letter presents a new method that addresses the difficulty of obtaining the correct interaction between the corona and corona/chromosphere interface. In the transition region, an adaptive thermal conduction approach is used that broadens any unresolved parts of the atmosphere. We show that this approach, referred to as TRAC, successfully removes the influence of numerical resolution on the coronal density response to heating while maintaining high levels of agreement with fully resolved models. When employed with coarse spatial resolutions, typically achieved in multi-dimensional MHD codes, the peak density errors are less than 3% and the computation time is three orders of magnitude faster than fully resolved field-aligned models. The advantages of using TRAC in field-aligned hydrodynamic and multi-dimensional magnetohydrodynamic simulations are discussed.


title: Long time error analysis of finite difference time domain methods for the nonlinear Klein-Gordon equation with weak nonlinearity

abstract: We establish error bounds of the finite difference time domain (FDTD) methods for the long time dynamics of the nonlinear Klein-Gordon equation (NKGE) with a cubic nonlinearity, while the nonlinearity strength is characterized by $\varepsilon^2$ with $0 <\varepsilon \leq 1$ a dimensionless parameter. When $0 < \varepsilon \ll 1$, it is in the weak nonlinearity regime and the problem is equivalent to the NKGE with small initial data, while the amplitude of the initial data (and the solution) is at $O(\varepsilon)$. Four different FDTD methods are adapted to discretize the problem and rigorous error bounds of the FDTD methods are established for the long time dynamics, i.e. error bounds are valid up to the time at $O(1/\varepsilon^{\beta})$ with $0 \le \beta \leq 2$, by using the energy method and the techniques of either the cut-off of the nonlinearity or the mathematical induction to bound the numerical approximate solutions. In the error bounds, we pay particular attention to how error bounds depend explicitly on the mesh size $h$ and time step $\tau$ as well as the small parameter $\varepsilon\in (0,1]$, especially in the weak nonlinearity regime when $0 < \varepsilon \ll 1$. Our error bounds indicate that, in order to get ``correct'' numerical solutions up to the time at $O(1/\varepsilon^{\beta})$, the $\varepsilon$-scalability (or meshing strategy) of the FDTD methods should be taken as: $h = O(\varepsilon^{\beta/2})$ and $\tau = O(\varepsilon^{\beta/2})$. Extensive numerical results are reported to confirm our error bounds and to demonstrate that they are sharp.


title: Freezing a Flock: Motility-Induced Phase Separation in Polar Active Liquids

abstract: Combining model experiments and theory, we investigate the dense phases of polar active matter beyond the conventional flocking picture. We show that above a critical density flocks assembled from self-propelled colloids arrest their collective motion, lose their orientational order and form solids that actively rearrange their local structure while continuously melting and freezing at their boundaries. We establish that active solidification is a first-order dynamical transition: active solids nucleate, grow, and slowly coarsen until complete phase separation with the polar liquids they coexists with. We then theoretically elucidate this phase behaviour by introducing a minimal hydrodynamic description of dense polar flocks and show that the active solids originate from a Motility-Induced Phase Separation. We argue that the suppression of collective motion in the form of solid jams is a generic feature of flocks assembled from motile units that reduce their speed as density increases, a feature common to a broad class of active bodies, from synthetic colloids to living creatures.


title: Sequences of selective rotation operators to engineer interactions for quantum annealing on three qutrits

abstract: We have done simulating of factorization the number 15 on three qutrits, represented by the spins S = 1, by quantum annealing. We assume that strong one-spin interaction allow selectively operate on different transitions between levels of the each qutrit. We present a sequence of selective rotation operators to engineer from dipole-dipole interaction a time-dependent effective Hamiltonian necessary for solving the problem. Also we find dependence of fidelity versus different parameters: magnetic field, total annealing time, and duration of time step, when the continuous variation of the Hamiltonian is replaced by a discrete one.


title: New global logarithmic stability of the Cauchy problem for elliptic equations

abstract: In this short paper we prove a global logarithmic stability of the Cauchy problem for H 2-solutions of an anisotropic elliptic equation in a Lip-schitz domain. The result we obtained is based on tools borrowed from the existing technics to establish stability estimate for the Cauchy problem [4] (see also [1]) combined with tools we already used in [6] to study an inverse medium problem.


title: Wideband tunable microwave signal generation in a silicon-based optoelectronic oscillator

abstract: Si photonics has an immense potential for the development of compact and low-loss opto-electronic oscillators (OEO), with applications in radar and wireless communications. However, current Si OEO have shown a limited performance. Si OEO relying on direct conversion of intensity modulated signals into the microwave domain yield a limited tunability. Wider tunability has been shown by indirect phase-modulation to intensity-modulation conversion, requiring precise control of the phase-modulation. Here, we propose a new approach enabling Si OEOs with wide tunability and direct intensity-modulation to microwave conversion. The microwave signal is created by the beating between an optical source and single sideband modulation signal, selected by an add-drop ring resonator working as an optical bandpass filter. The tunability is achieved by changing the wavelength spacing between the optical source and resonance peak of the resonator. Based on this concept, we experimentally demonstrate microwave signal generation between 6 GHz and 18 GHz, the widest range for a Si-based OEO. Moreover, preliminary results indicate that the proposed Si OEO provides precise refractive index monitoring, with a sensitivity of 94350 GHz RIU and a potential limit of detection of only 10-8 RIU, opening a new route for the implementation of high-performance Si photonic sensors.


title: Spectral Density-Based and Measure-Preserving ABC for partially observed diffusion processes. An illustration on Hamiltonian SDEs

abstract: Approximate Bayesian Computation (ABC) has become one of the major tools of likelihood-free statistical inference in complex mathematical models. Simultaneously, stochastic differential equations (SDEs) have developed to an established tool for modelling time dependent, real world phenomena with underlying random effects. When applying ABC to stochastic models, two major difficulties arise. First, the derivation of effective summary statistics and proper distances is particularly challenging, since simulations from the stochastic process under the same parameter configuration result in different trajectories. Second, exact simulation schemes to generate trajectories from the stochastic model are rarely available, requiring the derivation of suitable numerical methods for the synthetic data generation. To obtain summaries that are less sensitive to the intrinsic stochasticity of the model, we propose to build up the statistical method (e.g., the choice of the summary statistics) on the underlying structural properties of the model. Here, we focus on the existence of an invariant measure and we map the data to their estimated invariant density and invariant spectral density. Then, to ensure that these model properties are kept in the synthetic data generation, we adopt measure-preserving numerical splitting schemes. The derived property-based and measure-preserving ABC method is illustrated on the broad class of partially observed Hamiltonian type SDEs, both with simulated data and with real electroencephalography (EEG) data. The proposed ingredients can be incorporated into any type of ABC algorithm and directly applied to all SDEs that are characterised by an invariant distribution and for which a measure-preserving numerical method can be derived.


title: Trajectory Replanning for Quadrotors Using Kinodynamic Search and Elastic Optimization

abstract: We focus on a replanning scenario for quadrotors where considering time efficiency, non-static initial state and dynamical feasibility is of great significance. We propose a real-time B-spline based kinodynamic (RBK) search algorithm, which transforms a position-only shortest path search (such as A* and Dijkstra) into an efficient kinodynamic search, by exploring the properties of B-spline parameterization. The RBK search is greedy and produces a dynamically feasible time-parameterized trajectory efficiently, which facilitates non-static initial state of the quadrotor. To cope with the limitation of the greedy search and the discretization induced by a grid structure, we adopt an elastic optimization (EO) approach as a post-optimization process, to refine the control point placement provided by the RBK search. The EO approach finds the optimal control point placement inside an expanded elastic tube which represents the free space, by solving a Quadratically Constrained Quadratic Programming (QCQP) problem. We design a receding horizon replanner based on the local control property of B-spline. A systematic comparison of our method against two state-of-the-art methods is provided. We integrate our replanning system with a monocular vision-based quadrotor and validate our performance onboard.


title: The convergence of a sequence of polynomials and the distribution of their zeros

abstract: Suppose that $\langle f_n \rangle$ is a sequence of polynomials, $\langle f_n^{(k)}(0)\rangle$ converges for every non-negative integer $k$, and that the limit is not $0$ for some $k$. It is shown that if all the zeros of $f_1, f_2, \dots$ lie in the closed upper half plane $\rm{Im}\ z\geq 0$, or if $f_1, f_2, \dots$ are real polynomials and the numbers of their non-real zeros are uniformly bounded, then the sequence converges uniformly on compact sets in the complex plane. The results imply a theorem of Benz and a conjecture of P\'olya.


title: Connecting substellar and stellar formation. The role of the host star's metallicity

abstract: Most of our current understanding of the planet formation mechanism is based on the planet metallicity correlation derived mostly from solar-type stars harbouring gas-giant planets. To achieve a far more reaching grasp on the substellar formation process we aim to analyse in terms of their metallicity a diverse sample of stars (in terms of mass and spectral type) covering the whole range of possible outcomes of the planet formation process (from planetesimals to brown dwarfs and low-mass binaries). Our methodology is based on the use of high-precision stellar parameters derived by our own group in previous works from high-resolution spectra by using the iron ionisation and equilibrium conditions. All values are derived in an homogeneous way, except for the M dwarfs where a methodology based on the use of pseudo equivalent widths of spectral features was used. Our results show that as the mass of the substellar companion increases the metallicity of the host star tendency is to lower values. The same trend is maintained when analysing stars with low-mass stellar companions and a tendency towards a wide range of host star's metallicity is found for systems with low mass planets. We also confirm that more massive planets tend to orbit around more massive stars. The core-accretion formation mechanism for planet formation achieves its maximum efficiency for planets with masses in the range 0.2 and 2 M$_{\rm Jup}$. Substellar objects with higher masses have higher probabilities of being formed as stars. Low-mass planets and planetesimals might be formed by core-accretion even around low-metallicity stars.


title: Polarization constraints in reciprocal unitary backscattering

abstract: We observed that the polarization state of light after round-trip propagation through a birefringent medium frequently aligns with the employed input polarization state "mirrored" by the horizontal plane of the Poincare sphere. In this letter we explore the predisposition for this mirror state and demonstrate how it constrains the evolution of polarization states as a function of the round-trip depth into weakly scattering birefringent samples, as measured with polarization-sensitive optical coherence tomography (PS-OCT). The constraint enables measurements of depth-resolved sample birefringence with PS-OCT using only a single input polarization state, which offers a critical simplification compared to the use of multiple input states.


title: Inexact Linear Solves In Model Reduction of Bilinear Dynamical Systems

abstract: Bilinear dynamical systems are commonly used in science and engineering because they form a bridge between linear and non-linear systems. However, simulating them is still a challenge because of their large size. Hence, a lot of research is currently being done for reducing such bilinear dynamical systems (termed as bilinear model order reduction or bilinear MOR). Bilinear iterative rational Krylov algorithm (BIRKA) is a very popular, standard and mathematically sound algorithm for bilinear MOR, which is based upon interpolatory projection technique. An efficient variant of BIRKA, Truncated BIRKA (or TBIRKA) has also been recently proposed. Like for any MOR algorithm, these two algorithms also require solving multiple linear systems as part of the model reduction process. For reducing very large dynamical systems, which is now-a-days becoming a norm, scaling of such linear systems with respect to input dynamical system size is a bottleneck. For efficiency, these linear systems are often solved by an iterative solver, which introduces approximation errors. Hence, stability analysis of MOR algorithms with respect to inexact linear solves is important. In our past work, we have shown that under mild conditions, BIRKA is stable (in the sense as discussed above). Here, we look at stability of TBIRKA in the same context. Besides deriving the conditions for a stable TBIRKA, our other novel contribution is the more intuitive methodology for achieving this. This approach exploits the fact that in TBIRKA a bilinear dynamical system can be represented by a finite set of functions, which was not possible in BIRKA (because infinite such functions were needed there). The stability analysis techniques that we propose here can be extended to many other methods for doing MOR of bilinear dynamical systems, e.g., using balanced truncation or the ADI methods.


title: Mass-like gap creation by mixed singlet and triplet state in superconducting topological insulator

abstract: We investigate proximity-induced mixed spin-singlet and spin-triplet superconducting state on the surface states of a topological insulator. Such hybrid structure features fundamentally distinct electron-hole excitations and resulting effective superconducting subgap. Studying the particle-hole and time-reversal symmetry properties of the mixed state Dirac-Bogoliubov-de Gennes effective Hamiltonian gives rise to manifesting possible topological phase exchange of surface states, since the mixed-spin channels leads to appearance of a band gap on the surface states. This is verified by determining topological invariant winding number for chiral eigenstates, which is achieved by introducing a chiral symmetry operator. We interestingly find the role of mixed superconducting state as creating a mass-like gap in topological insulator by means of introducing new mixed-spin channels $\Delta_1$ and $\Delta_2$. The interplay between superconducting spin-singlet and triplet correlations actually results in gaped surface states, where the size of gap can be controlled by tuning the relative $s$ and $p$-waves pairing potentials. We show that the system is in different topology classes by means of chiral and no-chiral spin-triplet symmetry. In addition, the resulting effective superconductor subgap manipulated at the Fermi surface presents a complicated dependency on mixed-spin channels. Furthermore, we investigate the resulting subgap tunneling conductance in N/S and Josephson current in S/I/S junctions to unveil the influence of effective symmetry of mixed superconducting gap. The results can pave the way to realize the effective superconducting gap in noncentrosymmetric superconductors with mixed-spin state.


title: Counting realizations of Laman graphs on the sphere

abstract: We present an algorithm that computes the number of realizations of a Laman graph on a sphere for a general choice of the angles between the vertices. The algorithm is based on the interpretation of such a realization as a point in the moduli space of stable curves of genus zero with marked points, and on the explicit description, due to Keel, of the Chow ring of this space.


title: Non-crossing partitions

abstract: Non-crossing partitions have been a staple in combinatorics for quite some time. More recently, they have surfaced (sometimes unexpectedly) in various other contexts from free probability to classifying spaces of braid groups. Also, analogues of the non-crossing partition lattice have been introduced. Here, the classical non-crossing partitions are associated to Coxeter and Artin groups of type $\mathsf{A}_n$, which explains the tight connection to the symmetric groups and braid groups. We shall outline those developments.


title: Probing the low-energy spectrum of non-thermal electrons in galaxy clusters with soft gamma ray observations

abstract: In this paper we study the possibility of probing the low-energy part of the spectrum of non-thermal electrons in galaxy clusters by detecting their non-thermal bremsstrahlung (NTB) emission in the soft gamma ray band, using instruments like e-ASTROGAM. Using the Coma cluster as a reference case, we find that, for very low values of the minimum energy of the electrons, in principle the NTB is detectable, but this situation is possible only for conditions that can be maintained only for a short time compared to the cluster lifetime. The possibility of constraining the low energy spectrum of non-thermal electrons through NTB is therefore hard to achieve in next years.


title: Asymmetric Single Magnitude Four Error Correcting Codes

abstract: Limited magnitude asymmetric error model is well suited for flash memory. In this paper, we consider the construction of asymmetric codes correcting single error over $\mathbb{Z}_{2^{k}r}$ and which are based on so called $B_{1}[4](2^{k}r)$ set. In fact, we reduce the construction of a maximal size $B_{1}[4](2^{k}r)$ set for $k\geq3$ to the construction of a maximal size $B_{1}[4](2^{k-3}r)$ set. Finally, we give a explicit formula of a maximal size $B_{1}[4](4r)$ set and some lower bounds of a maximal size $B_{1}[4](2r)$ set. By computer searching up to $q\leq106$, we conjecture that those lower bounds are tight.


title: Perception, Prestige and PageRank

abstract: Academic esteem is difficult to quantify in objective terms. Network theory offers the opportunity to use a mathematical formalism to model both the esteem associated with an academic and the relationships between academic colleagues. Early attempts using this line of reasoning have focused on intellectual genealogy as constituted by supervisor student networks. The process of examination is critical in many areas of study but has not played a part in existing models. A network theoretical "social" model is proposed as a tool to explore and understand the dynamics of esteem in the academic hierarchy. It is observed that such a model naturally gives rise to the idea that the esteem associated with a node in the graph (the esteem of an individual academic) can be viewed as a dynamic quantity that evolves with time based on both local and non-local changes in the properties in the network. The toy model studied here includes both supervisor-student and examiner-student relationships. This gives an insight into some of the key features of academic genealogies and naturally leads to a proposed model for "esteem propagation" on academic networks. This propagation is not solely directed forward in time (from teacher to progeny) but sometimes also flows in the other direction. As collaborators do well, this reflects well on those with whom they choose to collaborate and those that taught them. Furthermore, esteem as a quantity continues to be dynamic even after the end of a relationship or career. In other words, esteem can be thought of as flowing both forward and backward in time.


title: Search for $CP$ violation in $D_s^+\to K_S^0 \pi^+$, $D^+\to K_S^0 K^+$ and $D^+\to \phi \pi^+$ decays

abstract: A search for charge-parity ($CP$) violation in Cabibbo-suppressed $D_s^+\to K_S^0 \pi^+$, $D^+\to K_S^0 K^+$ and $D^+\to \phi \pi^+$ decays is reported using proton-proton collision data, corresponding to an integrated luminosity of 3.8 fb$^{-1}$, collected at a center-of-mass energy of 13 TeV with the LHCb detector. High-yield samples of kinematically and topologically similar Cabibbo-favored $D_{(s)}^+$ decays are analyzed to subtract nuisance asymmetries due to production and detection effects, including those induced by $CP$ violation in the neutral kaon system. The results are \begin{align*} \mathcal{A}_{CP}(D_s^+\to K_S^0 \pi^+) &=\left(\phantom{-}1.3\phantom{0}\pm1.9\phantom{0}\pm0.5\phantom{0}\right)\times10^{-3},\\ \mathcal{A}_{CP}(D^+\to K_S^0 K^+) &=\left(-0.09\pm0.65\pm0.48\right)\times10^{-3},\\ \mathcal{A}_{CP}(D^+\to \phi \pi^+) &=\left(\phantom{-}0.05\pm0.42\pm0.29\right)\times10^{-3}, \end{align*} where the first uncertainties are statistical and the second systematic. They are the most precise measurements of these quantities to date, and are consistent with $CP$ symmetry.


title: Telecommunication wavelength confined Tamm plasmon structures containing InAs/GaAs quantum dot emitters at room temperature

abstract: We experimentally demonstrate gold microdisc structures that produce confined Tamm plasmons (CTPs), interface modes between a metal layer and a distributed Bragg reflector, resonant around 1.3 {\mu}m. Quantum dots grown within the structures show an order of magnitude increase in the photoluminescence emitted at room temperature. Varying the disc diameter, we show spectral tuning of the resonance and measure the dispersion relation as evidence of mode confinement. The simplicity of fabrication and tuneability of these structures make CTPs an ideal platform for making scalable telecom devices based on quantum dots.


title: Bicategories in Univalent Foundations

abstract: We develop bicategory theory in univalent foundations. Guided by the notion of univalence for (1-)categories studied by Ahrens, Kapulkin, and Shulman, we define and study univalent bicategories. To construct examples of univalent bicategories in a modular fashion, we develop displayed bicategories, an analog of displayed 1-categories introduced by Ahrens and Lumsdaine. We demonstrate the applicability of this notion, and prove that several bicategories of interest are univalent. Among these are the bicategory of univalent categories with families and the bicategory of pseudofunctors between univalent bicategories. Furthermore, we show that every bicategory with univalent hom-categories is weakly equivalent to a univalent bicategory. All of our work is formalized in Coq as part of the UniMath library of univalent mathematics.


title: Learning STRIPS Action Models with Classical Planning

abstract: This paper presents a novel approach for learning STRIPS action models from examples that compiles this inductive learning task into a classical planning task. Interestingly, the compilation approach is flexible to different amounts of available input knowledge; the learning examples can range from a set of plans (with their corresponding initial and final states) to just a pair of initial and final states (no intermediate action or state is given). Moreover, the compilation accepts partially specified action models and it can be used to validate whether the observation of a plan execution follows a given STRIPS action model, even if this model is not fully specified.


title: Workflow Scheduling in the Cloud with Weighted Upward-rank Priority Scheme Using Random Walk and Uniform Spare Budget Splitting

abstract: We study a difficult problem of how to schedule complex workflows with precedence constraints under a limited budget in the cloud environment. We first formulate the scheduling problem as an integer programming problem, which can be optimized and used as the baseline of performance. We then consider the traditional approach of scheduling jobs in a prioritized order based on the upward-rank of each job. For those jobs with no precedence constraints among themselves, the plain upward-rank priority scheme assigns priorities in an arbitrary way. We propose a job prioritization scheme that uses Markovian chain stationary probabilities as a measure of importance of jobs. The scheme keeps the precedence order for the jobs that have precedence constraints between each other, and assigns priorities according to the jobs' importance for the jobs without precedence constraints. We finally design a uniform spare budget splitting strategy, which splits the spare budget uniformly across all the jobs. We test our algorithms on a variety of workflows, including FFT, Gaussian elimination, typical scientific workflows, randomly generated workflows and workflows from an in-production cluster of an online streaming service company. We compare our algorithms with the-state-of-art algorithms. The empirical results show that the uniform spare budget splitting scheme outperforms the splitting scheme in proportion to extra demand in average for most cases, and the Markovian based prioritization further improves the workflow makespan.


title: Superconducting size effect in thin films under electric field: mean-field self-consistent model

abstract: We consider effects of an externally applied electrostatic field on superconductivity, self-consistently within a BCS mean field model, for a clean 3D metal thin film. The electrostatic change in superconducting condensation energy scales as $\mu^{-1}$ close to subband edges as a function of the Fermi energy $\mu$, and follows 3D scaling $\mu^{-2}$ away from them. We discuss nonlinearities beyond gate effect, and contrast results to recent experiments.


title: Stable maximal hypersurfaces in Lorentzian spacetimes

abstract: We study the geometry of stable maximal hypersurfaces in a variety of spacetimes satisfying various physically relevant curvature assumptions, for instance the Timelike Convergence Condition (TCC). We characterize stability when the target space has constant sectional curvature as well as give sufficient conditions on the geometry of the ambient spacetime (e.g., the validity of TCC) to ensure stability. Some rigidity results and height estimates are also proven in GRW spacetimes. In the last part of the paper we consider $k$-stability of spacelike hypersurfaces, a concept related to mean curvatures of higher orders.


title: A Polynomial Identity Implying Schur's Partition Theorem

abstract: We propose and prove a new polynomial identity that implies Schur's partition theorem. We give combinatorial interpretations of some of our expressions in the spirit of Kur\c{s}ung\"oz. We also present some related polynomial and $q$-series identities.


title: An aperiodic monotile that forces nonperiodicity through dendrites

abstract: We introduce a new type of aperiodic hexagonal monotile; a prototile that admits infinitely many tilings of the plane, but any such tiling lacks any translational symmetry. Adding a copy of our monotile to a patch of tiles must satisfy two rules that apply only to adjacent tiles. The first is inspired by the Socolar--Taylor monotile, but can be realised by shape alone. The second is a local growth rule; a direct isometry of our monotile can be added to any patch of tiles provided that a tree on the monotile connects continuously with a tree on one of its neighbouring tiles. This condition forces tilings to grow along dendrites, which ultimately results in nonperiodic tilings. Our local growth rule initiates a new method to produce tilings of the plane.


title: Optimal Clustering of Energy Consumers based on Entropy of the Correlation Matrix between Clusters

abstract: Increased deployment of residential smart meters has made it possible to record energy consumption data on short intervals. These data, if used efficiently, carry valuable information for managing power demand and increasing energy consumption efficiency. However, analyzing smart meter data of millions of customers in a timely manner is quite challenging. An efficient way to analyze these data is to first identify clusters of customers, and then focus on analyzing these clusters. Deciding on the optimal number of clusters is a challenging task. In this manuscript, we propose a metric to efficiently find the optimal number of clusters. A genetic algorithm based feature selection is used to reduce the number of features, which are then fed into self-organizing maps for clustering. We apply the proposed clustering technique on two electricity consumption datasets from Victoria, Australia and Ireland. The numerical simulations reveal effectiveness of the proposed method in finding the optimal clusters.


title: Continuous ground-state degeneracy of classical dipoles on regular lattices

abstract: Dipolar interactions are crucial in the modeling of many complex magnetic systems, such as the pyrochlores and artificial spin systems. Remarkably, many classical dipolar coupled spin systems exhibit a continuous ground-state degeneracy, which is unexpected as the Hamiltonian does not possess a continuous symmetry. In this paper, we explain, how such a finite point-symmetry leads to a continuous ground-state degeneracy of specific classical dipolar-coupled systems. This work, therefore, provides new insight into the theory of classical dipolar-coupled spin-systems and opens the way to understand more complex dipolar coupled systems.


title: Analysing Deep Learning-Spectral Envelope Prediction Methods for Singing Synthesis

abstract: We conduct an investigation on various hyper-parameters regarding neural networks used to generate spectral envelopes for singing synthesis. Two perceptive tests, where the first compares two models directly and the other ranks models with a mean opinion score, are performed. With these tests we show that when learning to predict spectral envelopes, 2d-convolutions are superior over previously proposed 1d-convolutions and that predicting multiple frames in an iterated fashion during training is superior over injecting noise to the input data. An experimental investigation whether learning to predict a probability distribution vs.\ single samples was performed but turned out to be inconclusive. A network architecture is proposed that incorporates the improvements which we found to be useful and we show in our experiments that this network produces better results than other stat-of-the-art methods.


title: Research Report: Exact biconvex reformulation of the $\ell_2-\ell_0$ minimization problem

abstract: We focus on the minimization of the least square loss function either under a $k$-sparse constraint or with a sparse penalty term. Based on recent results, we reformulate the $\ell_0$ pseudo-norm exactly as a convex minimization problem by introducing an auxiliary variable. We then propose an exact biconvex reformulation of the $\ell_2-\ell_0$ constrained and penalized problems. We give correspondence results between minimizers of the initial function and the reformulated ones. The reformulation is biconvex and the non-convexity is due to a penalty term. These two properties are used to derive a minimization algorithm. We apply the algorithm to the problem of single-molecule localization microscopy and compare the results with the well-known Iterative Hard Thresholding algorithm. Visually and numerically the biconvex reformulations perform better.


title: Szeg\"o type limit theorems on the Heisenberg group

abstract: Let $\mathcal{H}=-\Delta_{\mathbb{H}}+V$ be the Schr\"odinger operator on the Heisenberg group $\mathbb{H}^n$, where $\Delta_{\mathbb{H}}$ is the full laplacian on $\mathbb{H}^n$ and $V$ is a positive smooth potential, bounded below and grows like $|g|^\kappa, \kappa>0$ for large $|g|$. Let $\mathcal{P}_{r}$ be the orthogonal projection of $L^2(\mathbb{H}^n)$ onto the space of eigenfunctions of $\mathcal{H}$ with eigenvalue $\leq r$; Let $A$ be a 0-th order self-adjoint pseudo-differential operator on $L^2(\mathbb{H}^n)$ relative to the operator $1+|\lambda|H+V(g), g\in \mathbb{H}^n, \lambda \in \mathbb{R}^*$ with symbol $a(g, {\lambda}),$ where $H$ is the Hermite operator on $L^2(\mathbb{R}^n)$ then \begin{align*} \lim_{r\to\infty} \frac{tr~{f(\mathcal{P}_rA\mathcal{P}_r)}}{tr~(\mathcal{P}_r)} &= \lim_{r\to\infty} \frac{\int_{G^{r}}f(a_{g, {\lambda}}(\xi, x)) \,d\xi\,dx \,dg\,d\mu(\lambda) }{\int_{G^{r}} \,d\xi\,dx \,dg\,d\mu(\lambda)}, \end{align*} (Assuming one limit exists) where $G^{r}=\{(g, \lambda, \xi, x)\in \mathbb{H}^n \times \mathbb{R}^*\times \mathbb{R}^n\times \mathbb{R}^n : |\lambda |(1+|\xi| ^2+|x|^2)+V(g)\leq r \}$, $a(g, {\lambda})=Op^W(a_{g, {\lambda}})$, and $\mu(\lambda)$ is the Plancherel measure on the Heisenberg group. Also we show that the above limit on the right hand side remains unaltered under a compact perturbation of the pseudo-differential operator $A$ or a perturbation of the Schr\"odinger operator $\mathcal{H}$ by bounded self-adjoint operators on $L^2(\mathbb{H}^n)$.


title: Spectral Multipliers on $2$-Step Stratified Groups, II

abstract: Given a graded group $G$ and commuting, formally self-adjoint, left-invariant, homogeneous differential operators $\mathcal{L}_1,\dots, \mathcal{L}_n$ on $G$, one of which is Rockland, we study the convolution operators $m(\mathcal{L}_1,\dots, \mathcal{L}_n)$ and their convolution kernels, with particular reference to the case in which $G$ is abelian and $n=1$, and the case in which $G$ is a $2$-step stratified group which satisfies a slight strengthening of the Moore-Wolf condition and $\mathcal{L}_1,\dots,\mathcal{L}_n$ are either sub-Laplacians or central elements of the Lie algebra of $G$. Under suitable conditions, we prove that: i) if the convolution kernel of the operator $m(\mathcal{L}_1,\dots, \mathcal{L}_n)$ belongs to $L^1$, then $m$ equals almost everywhere a continuous function vanishing at $\infty$ (`Riemann-Lebesgue lemma'); ii) if the convolution kernel of the operator $m(\mathcal{L}_1,\dots, \mathcal{L}_n)$ is a Schwartz function, then $m$ equals almost everywhere a Schwartz function.


title: Attacking Power Indices by Manipulating Player Reliability

abstract: We investigate the manipulation of power indices in TU-cooperative games by stimulating (subject to a budget constraint) changes in the propensity of other players to participate to the game. We display several algorithms that show that the problem is often tractable for so-called network centrality games and influence attribution games, as well as an example when optimal manipulation is intractable, even though computing power indices is feasible.


title: Generalised Diffusion and Wave Equations: Recent Advances

abstract: We present a short overview of the recent results in the theory of diffusion and wave equations with generalised derivative operators. We give generic examples of such generalised diffusion and wave equations, which include time-fractional, distributed order, and tempered time-fractional diffusion and wave equations. Such equations exhibit multi-scaling time behaviour, which makes them suitable for the description of different diffusive regimes and characteristic crossover dynamics in complex systems.


abstract: Machine Learning (ML) helps us to recognize patterns from raw data. ML is used in numerous domains i.e. biomedical, agricultural, food technology, etc. Despite recent technological advancements, there is still room for substantial improvement in prediction. Current ML models are based on classical theories of probability and statistics, which can now be replaced by Quantum Theory (QT) with the aim of improving the effectiveness of ML. In this paper, we propose the Binary Classifier Inspired by Quantum Theory (BCIQT) model, which outperforms the state of the art classification in terms of recall for every category.


title: Comparison of multiphase SPH and LBM approaches for the simulation of intermittent flows

abstract: Smoothed Particle Hydrodynamics (SPH) and Lattice Boltzmann Method (LBM) are increasingly popular and attractive methods that propose efficient multiphase formulations, each one with its own strengths and weaknesses. In this context, when it comes to study a given multi-fluid problem, it is helpful to rely on a quantitative comparison to decide which approach should be used and in which context. In particular, the simulation of intermittent two-phase flows in pipes such as slug flows is a complex problem involving moving and intersecting interfaces for which both SPH and LBM could be considered. It is a problem of interest in petroleum applications since the formation of slug flows that can occur in submarine pipelines connecting the wells to the production facility can cause undesired behaviors with hazardous consequences. In this work, we compare SPH and LBM multiphase formulations where surface tension effects are modeled respectively using the continuum surface force and the color gradient approaches on a collection of standard test cases, and on the simulation of intermittent flows in 2D. This paper aims to highlight the contributions and limitations of SPH and LBM when applied to these problems. First, we compare our implementations on static bubble problems with different density and viscosity ratios. Then, we focus on gravity driven simulations of slug flows in pipes for several Reynolds numbers. Finally, we conclude with simulations of slug flows with inlet/outlet boundary conditions. According to the results presented in this study, we confirm that the SPH approach is more robust and versatile whereas the LBM formulation is more accurate and faster.


title: Resonant micro-instabilities at quasi-parallel collisionless shocks: cause or consequence of shock (re)formation

abstract: A case of two interpenetrating, cold and quasi-neutral ion-electron plasmas is investigated with the multi-fluid approach. We consider that one plasma flows quasi-parallel to the lines of a background magnetic field embedded in another static plasma. If the flow turns super-Alfv\'enic, we show that parallel R/L-modes and perpendicular X/O-modes become unstable and grow in amplitude. Within the linear theory, we find that the growth rate curve of an unstable mode has a maximum at some wavenumber specific to each mode. If we consider a shock-like plasma configuration, we find that the fastest growing mode is the resonant one (with $k \sim r_{gi}^{-1}$) which strongly interacts with ions. In Particle-In-Cell (PIC) simulations, we observe that a resonant wave with the same properties is excited during the early phases of shock formation. Once the wave becomes non-linear, it efficiently scatters ions and triggers the initial shock formation. This implies that the typical compression ratio of $\sim 4$ could naturally arise as a consequence of a highly resonant micro-physical process. We model the interaction of ions reflected from the reforming shock barrier in a weak-beam case, and we show that the upstream wave now matches the instability we expect from the equations. By using PIC simulations, we explain how the strong-beam resonant instability triggers shock formation in the non-linear stage, and how the weak-beam instability reforms and transmits the shock afterwards. The micro-instabilities that we study here could largely contribute to shock triggering as well as to the reformation and transmission of the shock itself.


title: Nonlinear Dirichlet problems with unilateral growth on the reaction

abstract: We consider a nonlinear Dirichlet problem driven by the $p$-Laplace differential operator with a reaction which has a subcritical growth restriction only from above. We prove two multiplicity theorems producing three nontrivial solutions, two of constant sign and the third nodal. The two multiplicity theorems differ on the geometry near the origin. In the semilinear case (that is, $p=2$), using Morse theory (critical groups), we produce a second nodal solution for a total of four nontrivial solutions. As an illustration, we show that our results incorporate and significantly extend the multiplicity results existing for a class of parametric, coercive Dirichlet problems.


title: Experimental investigation of quantum key distribution over water channel

abstract: Quantum key distribution (QKD) has undergone significant development in recent decades, particularly with respect to free-space (air) and optical fiber channels. Here, we report the first proof-of-principle experiment for the BB84 protocol QKD over a water channel. Firstly, we demonstrate again the polarization preservation properties of the water channel in optical transmission according to the measured Mueller matrix, which is close to the unit matrix. The reason for the polarization preservation, revealed by Monte Carlo simulation, is that almost all the received photons are unscattered.Then, we performed the first polarization encoding BB84 protocol QKD over a 2.37m water channel. The results show that QKD can be performed with a low quantum bit error rate (QBER), less than 3.5%, with different attenuation coefficients.


title: A dynamical theory for singular stochastic delay differential equations I: Linear equations and a Multiplicative Ergodic Theorem on fields of Banach spaces

abstract: We show that singular stochastic delay differential equations (SDDEs) induce cocycle maps on a field of Banach spaces. A general Multiplicative Ergodic Theorem on fields of Banach spaces is proved and applied to linear SDDEs. In Part II of this article, we use our results to prove a stable manifold theorem for non-linear singular SDDEs.


title: Measuring coherence of quantum measurements

abstract: The superposition of quantum states lies at the heart of physics and has been recently found to serve as a versatile resource for quantum information protocols, defining the notion of quantum coherence. In this contribution, we report on the implementation of its complementary concept, coherence from quantum measurements. By devising an accessible criterion which holds true in any classical statistical theory, we demonstrate that noncommutative quantum measurements violate this constraint, rendering it possible to perform an operational assessment of the measurement-based quantum coherence. In particular, we verify that polarization measurements of a single photonic qubit, an essential carrier of one unit of quantum information, are already incompatible with classical, i.e., incoherent, models of a measurement apparatus. Thus, we realize a method that enables us to quantitatively certify which quantum measurements follow fundamentally different statistical laws than expected from classical theories and, at the same time, quantify their usefulness within the modern framework of resources for quantum information technology.


title: On the real-analyticity of rigid spherical hypersurfaces in ${\mathbb C}^2$

abstract: We prove that every smooth rigid spherical hypersurface in ${\mathbb C}^2$ is in fact real-analytic. As an application of this result, it follows that the classification of real-analytic rigid spherical hypersurfaces in ${\mathbb C}^2$ found by V. Ezhov and G. Schmalz applies in the smooth case.


title: Large deviations related to the law of the iterated logarithm for Ito diffusions

abstract: When a Brownian motion is scaled according to the law of the iterated logarithm, its supremum converges to one as time tends to zero. Upper large deviations of the supremum process can be quantified by writing the problem in terms of hitting times and applying a result of Strassen (1967) on hitting time densities. We extend this to a small-time large deviations principle for the supremum of scaled Ito diffusions, using as our main tool a refinement of Strassen's result due to Lerche (1986).


title: Correlation of Vibrational Excitations and Electronic Structure\\ with Submolecular Resolution

abstract: The detection of vibrational excitations of individual molecules on surfaces by scanning tunneling spectroscopy does not obey strict selection rules but rather propensity rules. The experimental verification of these is challenging because it requires the independent variation of specific parameters, such as the electronic structure, while keeping the vibrational modes the same. Here, we make use of the versatile self-assembled structures of Fe-tetra-pyridyl-porphyrin molecules on a Au(111) surface. These exhibit different energy-level alignments of the frontier molecular orbitals, thus allowing the correlation of electronic structure and detection of vibrations. We identify up to seven vibrational modes in the tunneling spectra of the molecules in some of the arrangements, whereas we observe none in other structures. We find that the presence of vibrational excitations and their distribution along the molecule correlates with the observation of energetically low-lying molecular states. This correlation allows to explain the different numbers of vibrational signatures for molecules embedded within different structures as well as the bias asymmetry of the vibrational intensities within an individual molecule. Our observations are in agreement with a resonant enhancement of vibrations by the virtual excitation of electronic states.


title: PanopticFusion: Online Volumetric Semantic Mapping at the Level of Stuff and Things

abstract: We propose PanopticFusion, a novel online volumetric semantic mapping system at the level of stuff and things. In contrast to previous semantic mapping systems, PanopticFusion is able to densely predict class labels of a background region (stuff) and individually segment arbitrary foreground objects (things). In addition, our system has the capability to reconstruct a large-scale scene and extract a labeled mesh thanks to its use of a spatially hashed volumetric map representation. Our system first predicts pixel-wise panoptic labels (class labels for stuff regions and instance IDs for thing regions) for incoming RGB frames by fusing 2D semantic and instance segmentation outputs. The predicted panoptic labels are integrated into the volumetric map together with depth measurements while keeping the consistency of the instance IDs, which could vary frame to frame, by referring to the 3D map at that moment. In addition, we construct a fully connected conditional random field (CRF) model with respect to panoptic labels for map regularization. For online CRF inference, we propose a novel unary potential approximation and a map division strategy. We evaluated the performance of our system on the ScanNet (v2) dataset. PanopticFusion outperformed or compared with state-of-the-art offline 3D DNN methods in both semantic and instance segmentation benchmarks. Also, we demonstrate a promising augmented reality application using a 3D panoptic map generated by the proposed system.


title: Uniqueness for the inverse boundary value problem of piecewise homogeneous anisotropic elasticity in the time domain

abstract: We consider the inverse boundary value problem of recovering piecewise homogeneous elastic tensor and piecewise homogeneous mass density from a localized lateral Dirichlet-to-Neumann or Neumann-to-Dirichlet map for the elasticity equation in the space-time domain. We derive uniqueness for identifying these tensor and density on all domains of homogeneity that may be reached from the part of the boundary where the measurements are taken by a chain of subdomains whose successive interfaces contain a curved portion.


title: The Initial Spin Probability Distribution of Primordial Black Holes

abstract: We study the spin of primordial black holes produced by the collapse of large inhomogeneities in the early universe. Since such primordial black holes originate from peaks, that is, from maxima of the local overdensity, we resort to peak theory to obtain the probability distribution of the spin at formation. We show that the spin is a first-order effect in perturbation theory: it results from the action of first-order tidal gravitational fields generating first-order torques upon horizon-crossing, and from the asphericity of the collapsing object. Assuming an ellipsoidal shape, the typical value of the dimensionless parameter $a_{\rm s}=S/G_N M^2$, where $S$ is the spin and $M$ is the mass of the primordial black hole, is about $\sigma_\delta\sqrt{1-\gamma^2}/2\pi$. Here, $\sigma^2_\delta$ is the variance of the overdensity at horizon crossing and the parameter $\gamma$ is a measure of the width of the power spectrum giving rise to primordial black holes. One has $\gamma=1$ for monochromatic spectra. For these narrow spectra, the suppression arises because the velocity shear, which is strongly correlated with the inertia tensor, tends to align with the principal axis frame of the collapsing object. Typical values of $a_{\rm s}$ are at the percent level.


title: Evolving Spiking Neural Networks for Nonlinear Control Problems

abstract: Spiking Neural Networks are powerful computational modelling tools that have attracted much interest because of the bioinspired modelling of synaptic interactions between neurons. Most of the research employing spiking neurons has been non-behavioural and discontinuous. Comparatively, this paper presents a recurrent spiking controller that is capable of solving nonlinear control problems in continuous domains using a popular topology evolution algorithm as the learning mechanism. We propose two mechanisms necessary to the decoding of continuous signals from discrete spike transmission: (i) a background current component to maintain frequency sufficiency for spike rate decoding, and (ii) a general network structure that derives strength from topology evolution. We demonstrate that the proposed spiking controller can learn significantly faster to discover functional solutions than sigmoidal neural networks in solving a classic nonlinear control problem.


title: Understanding gravitational particle production in quintessential inflation

abstract: The diagonalization method, introduced by a group of Russian scientists at the beginning of seventies, is used to compute the energy density of superheavy massive particles produced due to a sudden phase transition from inflation to kination in quintessential inflation models, the models unifying inflation with quintessence originally proposed by Peebles-Vilenkin. These superheavy particles must decay in lighter ones to form a relativistic plasma, whose energy density will eventually dominate the one of the inflaton field, in order to have a hot universe after inflation. In the present article we show that, in order that the overproduction of Gravitational Waves (GWs) during this phase transition does not disturb the Big Bang Nucleosynthesis (BBN) success, the decay has to be produced after the end of the kination regime, obtaining a maximum reheating temperature in the TeV regime.


title: Complement Objective Training

abstract: Learning with a primary objective, such as softmax cross entropy for classification and sequence generation, has been the norm for training deep neural networks for years. Although being a widely-adopted approach, using cross entropy as the primary objective exploits mostly the information from the ground-truth class for maximizing data likelihood, and largely ignores information from the complement (incorrect) classes. We argue that, in addition to the primary objective, training also using a complement objective that leverages information from the complement classes can be effective in improving model performance. This motivates us to study a new training paradigm that maximizes the likelihood of the groundtruth class while neutralizing the probabilities of the complement classes. We conduct extensive experiments on multiple tasks ranging from computer vision to natural language understanding. The experimental results confirm that, compared to the conventional training with just one primary objective, training also with the complement objective further improves the performance of the state-of-the-art models across all tasks. In addition to the accuracy improvement, we also show that models trained with both primary and complement objectives are more robust to single-step adversarial attacks.


title: Dark compact objects: an extensive overview

abstract: We study the structure of compact objects that contain non-self annihilating, self-interacting dark matter admixed with ordinary matter made of neutron star and white dwarf materials. We extend the previous work Phys. Rev. D 92 123002 (2015) on these dark compact objects by analyzing the effect of weak and strongly interacting dark matter with particle masses in the range of 1-500 GeV, so as to set some constraints in the strength of the interaction and the mass of the dark matter particle. We find that the total mass of the compact objects increases with decreasing dark matter particle mass. In the strong interacting case and for dark matter particle masses in the range 1-10 GeV, the total mass of the compact objects largely exceeds the $2M_\odot$ constraint for neutron star masses and the nominal $1M_\odot$for white dwarfs, while for larger dark matter particle masses or in the weakly interacting case the compact objects show masses in agreement or smaller than these constraints, thus hinting at the exclusion of strongly self-interacting dark matter of masses 1-10 GeV in the interior of these compact objects. Moreover, we observe that the smaller the dark matter particle mass, the larger the quantity of dark matter captured is, putting constraints on the dark matter mass trapped in the compact objects so as to fullfill $\simeq 2M_\odot$ observations. Finally, the inhomogeneity of distribution of dark matter in the Galaxy implies a mass dependence of compact objects from the environment which can be used to put constraints on the characteristics of the Galaxy halo DM profile and on particle mass. In view of the these results, we discuss the formation of the dark compact objects in an homogeneous and non-homogeneous dark matter environment.


title: Nonperturbative Ball-Chiu construction of the three-gluon vertex

abstract: We present the detailed derivation of the longitudinal part of the three-gluon vertex from the Slavnov-Taylor identities that it satisfies, by means of a nonperturbative implementation of the Ball-Chiu construction; the latter, in its original form, involves the inverse gluon propagator, the ghost dressing function, and certain form factors of the ghost-gluon kernel. The main conceptual subtlety that renders this endeavor nontrivial is the infrared finiteness of the gluon propagator, and the resulting need to separate the vertex into two pieces, one that is intimately connected with the emergence of a gluonic mass scale, and one that satisfies the original set of Slavnov-Taylor identities, but with the inverse gluon propagator replaced by its "kinetic" term. The longitudinal form factors obtained by this construction are presented for arbitrary Euclidean momenta, as well as special kinematic configurations, parametrized by a single momentum. A particularly preeminent feature of the components comprising the tree-level vertex is their considerable suppression for momenta below 1 GeV, and the appearance of the characteristic "zero-crossing" in the vicinity of 100-200 MeV. Special combinations of the form factors derived with this method are compared with the results of recent large-volume lattice simulations as well as Schwinger-Dyson equations, and good overall agreement is found. A variety of issues related to the distribution of the pole terms responsible for the gluon mass generation are discussed in detail, and their impact on the structure of the transverse parts is elucidated. In addition, a brief account of several theoretical and phenomenological possibilities involving these newly acquired results is presented.


title: Equations of macroscopic electrodynamics for two-dimensional crystals

abstract: The electrodynamics of two-dimensional (2D) dielectric and conducting layers cannot be described by such three-dimensional macroscopic quantities as the dielectric constant $\epsilon$ or the refractive index $n$. By means of the proper averaging of the microscopic Maxwell equations we derive general macroscopic electrodynamic equations for 2D crystals and discuss some of their consequences.


title: Probabilistic Forecasting of Temporal Trajectories of Regional Power Production - Part 1: Wind

abstract: Renewable energy sources provide a constantly increasing contribution to the total energy production worldwide. However, the power generation from these sources is highly variable due to their dependence on meteorological conditions. Accurate forecasts for the production at various temporal and spatial scales are thus needed for an efficiently operating electricity market. In this article - part 1 - we propose fully probabilistic prediction models for spatially aggregated wind power production at an hourly time scale with lead times up to several days using weather forecasts from numerical weather prediction systems as covariates. After an appropriate cubic transformation of the power production, we build up a multivariate Gaussian prediction model under a Bayesian inference framework which incorporates the temporal error correlation. In an application to predict wind production in Germany, the method provides calibrated and skillful forecasts. Comparison is made between several formulations of the correlation structure.


title: Some criteria of chaos in non-autonomous discrete systems

abstract: This paper establishes some criteria of chaos in non-autonomous discrete systems. Several criteria of strong Li-Yorke chaos are given. Based on these results, some criteria of distributional chaos in a sequence are established. Moreover, several criteria of distributional chaos induced by coupled-expansion for an irreducible transition matrix are obtained. Some of these results not only extend the existing related results for autonomous discrete systems to non-autonomous discrete systems, but also relax the assumptions of the counterparts. One example is provided for illustration.


title: Probabilistic Forecasting of Temporal Trajectories of Regional Power Production - Part 2: Photovoltaic Solar

abstract: We propose a fully probabilistic prediction model for spatially aggregated solar photovoltaic (PV) power production at an hourly time scale with lead times up to several days using weather forecasts from numerical weather prediction systems as covariates. After an appropriate logarithmic transformation of the power production, we develop a multivariate Gaussian prediction model under a Bayesian inference framework. The model incorporates the temporal error correlation yielding physically consistent forecast trajectories. Several formulations of the correlation structure are proposed and investigated. Our method is one of a few approaches that issue full predictive distributions for PV power production. In a case study of PV power production in Germany, the method gives calibrated and skillful forecasts.


title: Krylov Iterative Methods for the Geometric Mean of Two Matrices Times a Vector

abstract: In this work, we are presenting an efficient way to compute the geometric mean of two positive definite matrices times a vector. For this purpose, we are inspecting the application of methods based on Krylov spaces to compute the square root of a matrix. These methods, using only matrix-vector products, are capable of producing a good approximation of the result with a small computational cost.


title: Female Students in Computer Science Education: Understanding Stereotypes, Negative Impacts, and Positive Motivation

abstract: Although female students engage in coding courses, only a small percentage of them plan to pursue computer science (CS) as a major when choosing a career path. Gender differences in interests, sense-of belonging, self-efficacy, and engagement in CS are already present at an early age. This article presents an overview of gender stereotypes in CS and summarizes negative impressions female students between 12 and 15 experience during CS classes, as well as influences that may be preventing girls from taking an interest in CS. The study herein draws on a systematic review of 28 peer-reviewed articles published since 2006. The findings of the review point to the existence of the stereotypical image of a helpless, uninterested, and unhappy "Girl in Computer Science". It may be even more troubling a construct than that of the geeky, nerdy male counterpart, as it is rooted in the notion that women are technologically inept and ill-suited for CS careers. Thus, girls think they must be naturally hyper-intelligent in order to pursue studies in CS, as opposed to motivated, interested, and focused to succeed in those fields. Second, based on the review, suggestions for inclusive CS education were summarized. The authors argue that in order to make CS more inclusive for girls, cultural implications, as well as stereotypization in CS classrooms and CS education, need to be recognized as harmful. These stereotypes and cultural ideas should be eliminated by empowering female students through direct encouragement, mentoring programs, or girls-only initiatives.


title: Projectivity of the free Banach lattice generated by a lattice

abstract: We study the projectivity of the free Banach lattice generated by a lattice $\mathbb{L}$ in two cases: when the lattice is finite, and when the lattice is an infinite linearly ordered set. We prove that in the first case it is projective while in the second case, if the linear order contains either an increasing sequence without upper bounds or a decreasing sequence without lower bounds, then it is not projective.


title: STEFANN: Scene Text Editor using Font Adaptive Neural Network

abstract: Textual information in a captured scene plays an important role in scene interpretation and decision making. Though there exist methods that can successfully detect and interpret complex text regions present in a scene, to the best of our knowledge, there is no significant prior work that aims to modify the textual information in an image. The ability to edit text directly on images has several advantages including error correction, text restoration and image reusability. In this paper, we propose a method to modify text in an image at character-level. We approach the problem in two stages. At first, the unobserved character (target) is generated from an observed character (source) being modified. We propose two different neural network architectures - (a) FANnet to achieve structural consistency with source font and (b) Colornet to preserve source color. Next, we replace the source character with the generated character maintaining both geometric and visual consistency with neighboring characters. Our method works as a unified platform for modifying text in images. We present the effectiveness of our method on COCO-Text and ICDAR datasets both qualitatively and quantitatively.


title: Do pulsars rotate clockwise or counterclockwise?

abstract: Pulsars are rotating neutron stars which emit lighthouse-like beams. Owing to their unique properties, pulsars are a unique astrophysical tool to test general relativity, inform on matter at extreme densities, and probe galactic magnetic fields. Understanding pulsars physics and emission mechanisms is critical to these applications. Here we uncover that mechanical-optical rotation in the pulsars' magnetosphere affects polarisation in a way which is indiscernible from Faraday rotation in the interstellar medium for typical GHz observations frequency, but which can be distinguished in the sub-GHz band. Besides being essential to correct for possible systematic errors in interstellar magnetic field estimates, our novel interpretation of pulsar polarimetry data offers a unique means to determine whether pulsars rotate clockwise or counterclockwise, providing new constraints on magnetospheric physics and possible emission mechanisms. Combined with the ongoing development of sub-GHz observation capabilities, our finding promises new discoveries, such as the spatial distributions of clockwise rotating or counterclockwise rotating pulsars, which could exhibit potentially interesting, but presently invisible, correlations or features.


title: Realization of an acoustic third-order topological insulator

abstract: The recent discovery of higher-order topological insulators (TIs) has opened new possibilities in the search for novel topological materials and metamaterials. Second-order TIs have been implemented in two-dimensional (2D) systems exhibiting topological 'corner states', as well as three-dimensional (3D) systems having one-dimensional (1D) topological 'hinge states'. Third-order TIs, which have topological states three dimensions lower than the bulk (which must thus be 3D or higher), have not yet been reported. Here, we describe the realization of a third-order TI in an anisotropic diamond-lattice acoustic metamaterial. The bulk acoustic bandstructure has nontrivial topology characterized by quantized Wannier centers. By direct acoustic measurement, we observe corner states at two corners of a rhombohedron-like structure, as predicted by the quantized Wannier centers. This work extends topological corner states from 2D to 3D, and may find applications in novel acoustic devices.


title: Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems

abstract: We propose a general framework for computer-assisted verification of the presence of symmetry breaking, period-tupling and touch-and-go bifurcations of symmetric periodic orbits for reversible maps. The framework is then adopted to Poincar\'e maps in reversible autonomous Hamiltonian systems. In order to justify the applicability of the method, we study bifurcations of halo orbits in the Circular Restricted Three Body Problem. We give a computer-assisted proof of the existence of wide branches of halo orbits bifurcating from $L_{1,2,3}$-Lyapunov families and for wide range of mass parameter. For two physically relevant mass parameters we prove, that halo orbits undergo multiple period doubling, quadrupling and third-order touch-and-go bifurcations.