title: What is the State of Neural Network Pruning?

abstract: Neural network pruning---the task of reducing the size of a network by removing parameters---has been the subject of a great deal of work in recent years. We provide a meta-analysis of the literature, including an overview of approaches to pruning and consistent findings in the literature. After aggregating results across 81 papers and pruning hundreds of models in controlled conditions, our clearest finding is that the community suffers from a lack of standardized benchmarks and metrics. This deficiency is substantial enough that it is hard to compare pruning techniques to one another or determine how much progress the field has made over the past three decades. To address this situation, we identify issues with current practices, suggest concrete remedies, and introduce ShrinkBench, an open-source framework to facilitate standardized evaluations of pruning methods. We use ShrinkBench to compare various pruning techniques and show that its comprehensive evaluation can prevent common pitfalls when comparing pruning methods.


title: Realistic flat-band model based on degenerate $p$-orbitals in two-dimensional ionic materials

abstract: Though several theoretical models have been proposed to design electronic flat-bands, the definite experimental realization in two-dimensional atomic crystal is still lacking. Here we propose a novel and realistic flat-band model based on threefold degenerate $p$-orbitals in two-dimensional ionic materials. Our theoretical analysis and first-principles calculations show that the proposed flat-band can be realized in 1T layered materials of alkali-metal chalogenides and metal-carbon group compounds. Some of the former are theoretically predicted to be stable as layered materials (e.g., K$_2$S), and some of the latter have been experimentally fabricated in previous works (e.g., Gd$_2$CCl$_2$). More interestingly, the flat-band is partially filled in the heterostructure of a K$_2$S monolayer and graphene layers. The spin polarized nearly flat-band can be realized in the ferromagnetic state of a Gd$_2$CCl$_2$ monolayer, which has been fabricated in experiments. Our theoretical model together with the material predictions provide a realistic platform for the study of flat-bands and related exotic quantum phases.


title: A Mean Field Game Approach to Equilibrium Pricing with Market Clearing Condition

abstract: In this work, we study an equilibrium-based continuous asset pricing problem which seeks to form a price process endogenously by requiring it to balance the flow of sales-and-purchase orders in the exchange market, where a large number of agents are interacting through the market price. Adopting a mean field game (MFG) approach, we find a special form of forward-backward stochastic differential equations of McKean-Vlasov type with common noise whose solution provides a good approximate of the market price. We show the convergence of the net order flow to zero in the large N-limit and get the order of convergence in N under some conditions. We also extend the model to a setup with multiple populations where the agents within each population share the same cost and coefficient functions but they can be different population by population.


title: On Multitype Random Forests with a Given Degree Sequence, the Total Population of Branching Forests and Enumerations of Multitype Forests

abstract: The degree sequence $(N_{i,j}(k),1\leq i,j\leq d,k\geq 0)$ of a multitype forest with $d$ types, is the number of individuals type $i$, having $k$ children type $j$. We construct a multitype forest sampled uniformly from all multitype forest with a given degree sequence (MFGDS). For this, we use an extension of the Ballot Theorem by (Chaumont and Liu, 2016), and generalize the Vervaat transform (Vervaat, 1979) to multidimensional discrete exchangeable increment processes. We prove that MFGDS are extensions of multitype Galton-Watson (MGW) forests, since mixing the laws of the former, one obtains MGW forests with fixed sizes by type (CMGW). We also obtain the law of the total population by types in a MGW forest, generalizing Otter-Dwass formula (Otter 1949, Dwass 1969). We apply this to obtain enumerations of plane, labeled and binary multitype forests having fixed roots and individuals by types. We give an algorithm to simulate certain CMGW forests, generalizing the unitype case of (Devroye, 2012).


title: Spatial and Momentum Imaging of the Pion and Kaon

abstract: We determine the leading Fock state light front wave functions (LFWFs) of the pion and kaon via light front projections of the covariant Bethe-Salpeter wave function. Using these LFWFs we study the multi-dimensional images of the valence quarks in the pion and kaon that are provided by their generalized parton distribution functions (GPDs) and transverse momentum dependent parton distribution functions (TMDs). Moments of the GPDs are taken to obtain the electromagnetic and gravitational form factors of the pion and kaon, and comparisons to available experimental and lattice data are made. Highlights from this study include predictions that the mean-squared impact parameter for the quarks in the pion and kaon are: $\langle \vec{b}_T^2\rangle_{u}^\pi=0.11$fm$^2$, $\langle \vec{b}_T^2\rangle_{s}^K=0.08$fm$^2$, and $\langle \vec{b}_T^2\rangle_{u}^K=0.13$fm$^2$, and therefore the $s$ quark in the kaon is much closer to the center of transverse momentum than the $u$ quark. From the electromagnetic and gravitational form factors we find that the light-cone energy radii are about 60\% smaller than the light-cone charge radii for each quark sector in the pion and kaon. A quantitative measure of the importance of the leading Fock state is obtained via comparison with a full DSE calculation (containing an infinite tower of Fock states) for the pion form factor.


title: Annual parallax measurement of a Mira variable star BX Cam with VERA

abstract: We report results of astrometric VLBI observations toward a Mira variable star BX~Cam using the VLBI array "VERA". The observations were performed from February 2012 to November 2014. Obtained parallax is 1.73$\pm$0.03 mas corresponding to a distance of 0.58$\pm$0.01 kpc. Parallax of this source was also reported in Gaia DR2 as 4.13$\pm$0.25 mas, and there is a 240 \% difference between these two measurements. Astrometric results from our VLBI observations show that we exactly traced angular motions of the seven maser spots in BX~Cam. We calculated stellar luminosities using both parallaxes, and obtained luminosities of $L_{\ast}^{\mathrm{VERA}} = 4950\pm170 L_{\odot}$ and $L_{\ast}^{\mathrm{Gaia}} = 870\pm110 L_{\odot}$. Deduced luminosities also support a validity of the parallax that we determined with VERA. Evaluating the two parallaxes, we concluded that the parallax of 1.73$\pm$0.03 mas from the VERA observations is correct for BX~Cam. We obtained a systemic motion of BX~Cam as (${\mu_{\alpha}}\cos{\delta}^{\mathrm{sys}}$, ${\mu}_{\delta}^{\mathrm{sys}}$) $=$ (13.48$\pm$0.14, $-$34.30$\pm$0.18) mas\,yr$^{-1}$. A total of 73 H$_2$O maser spots detected from our VLBI observations show a spatial distribution of 30 au $\times$ 80 au with a strong elongation along north-south direction. They show outflows with a three-dimensional velocity of 14.79$\pm$1.40 km\,s$^{-1}$. From a comparison between time variations of $V$-band magnitudes and H$_2$O maser, we found that variation of the H$_2$O maser is relevant to that seen in $V$-band even though the H$_2$O maser does not recover its maximum flux in each cycle.


title: Critical non-Hermitian Skin Effect

abstract: This work uncovers a new class of criticality where eigenenergies and eigenstates of non-Hermitian lattice systems jump discontinuously across a critical point in the thermodynamic limit, unlike established Hermitian and non-Hermitian critical scenarios where spectrum remains continuous across a transition. Such critical behavior, dubbed the "critical skin effect", is rather generic, occuring whenever subsystems with dissimilar non-Hermitian skin localization lengths are coupled, however weakly. Due to the existence of this criticality, the thermodynamic limit and the zero-coupling limit cannot be exchanged, thus challenging the celebrated generalized Brillouin zone (GBZ) approach when applied to finite-size systems. As manifestations of the critical skin effect in finite-size systems, we present stimulating examples with anomalous scaling behavior regarding spectrum, correlation functions, entanglement entropy, and scale-free wavefunctions that decay exponentially rather than power-law. More spectacularly, topological in-gap modes can even be induced by changing the system size.


title: DeProCams: Simultaneous Relighting, Compensation and Shape Reconstruction for Projector-Camera Systems

abstract: Image-based relighting, projector compensation and depth/normal reconstruction are three important tasks of projector-camera systems (ProCams) and spatial augmented reality (SAR). Although they share a similar pipeline of finding projector-camera image mappings, in tradition, they are addressed independently, sometimes with different prerequisites, devices and sampling images. In practice, this may be cumbersome for SAR applications to address them one-by-one. In this paper, we propose a novel end-to-end trainable model named DeProCams to explicitly learn the photometric and geometric mappings of ProCams, and once trained, DeProCams can be applied simultaneously to the three tasks. DeProCams explicitly decomposes the projector-camera image mappings into three subprocesses: shading attributes estimation, rough direct light estimation and photorealistic neural rendering. A particular challenge addressed by DeProCams is occlusion, for which we exploit epipolar constraint and propose a novel differentiable projector direct light mask. Thus, it can be learned end-to-end along with the other modules. Afterwards, to improve convergence, we apply photometric and geometric constraints such that the intermediate results are plausible. In our experiments, DeProCams shows clear advantages over previous arts with promising quality and meanwhile being fully differentiable. Moreover, by solving the three tasks in a unified model, DeProCams waives the need for additional optical devices, radiometric calibrations and structured light.


title: Statistical Beamforming for FDD Downlink Massive MIMO via Spatial Information Extraction and Beam Selection

abstract: In this paper, we study the beamforming design problem in frequency-division duplexing (FDD) downlink massive MIMO systems, where instantaneous channel state information (CSI) is assumed to be unavailable at the base station (BS). We propose to extract the information of the angle-of-departures (AoDs) and the corresponding large-scale fading coefficients (a.k.a. spatial information) of the downlink channel from the uplink channel estimation procedure, based on which a novel downlink beamforming design is presented. By separating the subpaths for different users based on the spatial information and the hidden sparsity of the physical channel, we construct near-orthogonal virtual channels in the beamforming design. Furthermore, we derive a sum-rate expression and its approximations for the proposed system. Based on these closed-form rate expressions, we develop two low-complexity beam selection schemes and carry out asymptotic analysis to provide valuable insights on the system design. Numerical results demonstrate a significant performance improvement of our proposed algorithm over the state-of-the-art beamforming approach.


title: Causal Interaction Trees: Tree-Based Subgroup Identification for Observational Data

abstract: We propose Causal Interaction Trees for identifying subgroups of participants that have enhanced treatment effects using observational data. We extend the Classification and Regression Tree algorithm by using splitting criteria that focus on maximizing between-group treatment effect heterogeneity based on subgroup-specific treatment effect estimators to dictate decision-making in the algorithm. We derive properties of three subgroup-specific treatment effect estimators that account for the observational nature of the data -- inverse probability weighting, g-formula and doubly robust estimators. We study the performance of the proposed algorithms using simulations and implement the algorithms in an observational study that evaluates the effectiveness of right heart catheterization on critically ill patients.


title: LUXOR: An FPGA Logic Cell Architecture for Efficient Compressor Tree Implementations

abstract: We propose two tiers of modifications to FPGA logic cell architecture to deliver a variety of performance and utilization benefits with only minor area overheads. In the irst tier, we augment existing commercial logic cell datapaths with a 6-input XOR gate in order to improve the expressiveness of each element, while maintaining backward compatibility. This new architecture is vendor-agnostic, and we refer to it as LUXOR. We also consider a secondary tier of vendor-speciic modifications to both Xilinx and Intel FPGAs, which we refer to as X-LUXOR+ and I-LUXOR+ respectively. We demonstrate that compressor tree synthesis using generalized parallel counters (GPCs) is further improved with the proposed modifications. Using both the Intel adaptive logic module and the Xilinx slice at the 65nm technology node for a comparative study, it is shown that the silicon area overhead is less than 0.5% for LUXOR and 5-6% for LUXOR+, while the delay increments are 1-6% and 3-9% respectively. We demonstrate that LUXOR can deliver an average reduction of 13-19% in logic utilization on micro-benchmarks from a variety of domains.BNN benchmarks benefit the most with an average reduction of 37-47% in logic utilization, which is due to the highly-efficient mapping of the XnorPopcount operation on our proposed LUXOR+ logic cells.


title: A Corpus for Detecting High-Context Medical Conditions in Intensive Care Patient Notes Focusing on Frequently Readmitted Patients

abstract: A crucial step within secondary analysis of electronic health records (EHRs) is to identify the patient cohort under investigation. While EHRs contain medical billing codes that aim to represent the conditions and treatments patients may have, much of the information is only present in the patient notes. Therefore, it is critical to develop robust algorithms to infer patients' conditions and treatments from their written notes. In this paper, we introduce a dataset for patient phenotyping, a task that is defined as the identification of whether a patient has a given medical condition (also referred to as clinical indication or phenotype) based on their patient note. Nursing Progress Notes and Discharge Summaries from the Intensive Care Unit of a large tertiary care hospital were manually annotated for the presence of several high-context phenotypes relevant to treatment and risk of re-hospitalization. This dataset contains 1102 Discharge Summaries and 1000 Nursing Progress Notes. Each Discharge Summary and Progress Note has been annotated by at least two expert human annotators (one clinical researcher and one resident physician). Annotated phenotypes include treatment non-adherence, chronic pain, advanced/metastatic cancer, as well as 10 other phenotypes. This dataset can be utilized for academic and industrial research in medicine and computer science, particularly within the field of medical natural language processing.


title: Covariance Steering for Discrete-Time Linear-Quadratic Stochastic Dynamic Games

abstract: This paper addresses the problem of steering a discrete-time linear dynamical system from an initial Gaussian distribution to a final distribution in a game-theoretic setting. One of the two players strives to minimize a quadratic payoff, while at the same time tries to meet a given mean and covariance constraint at the final time-step. The other player maximizes the same payoff, but it is assumed to be indifferent to the terminal constraint. At first, the unconstrained version of the game is examined, and the necessary conditions for the existence of a saddle point are obtained. We then show that obtaining a solution for the one-sided constrained dynamic game is not guaranteed, and subsequently the players' best responses are analyzed. Finally, we propose to numerically solve the problem of steering the distribution under adversarial scenarios using the Jacobi iteration method. The problem of guiding a missile during the endgame is chosen to analyze the proposed approach. A numerical simulation corresponding to the case where the terminal distribution is not achieved is also included, and discuss the necessary conditions to meet the terminal constraint.


title: Imaging the Holon String by Quantum Interference

abstract: It has been a long sought goal of Quantum Simulation to find answers to long standing questions in condensed matter physics. A famous example is the ground and the excitations of 2D Hubbard model with strong repulsion below half filling. The system is a doped antiferromagnet. It is of great interests because of its possible relation to high Tc superconductor. Theoretically, the fermion excitations of this model are believed to split up into holons and spinions, and a moving holon is believed to leave behind it a string of "wrong" spins that mismatch with the antiferromagnet background. Here, we show that the properties of the ground state wavefunction and the holon excitation of the 2D Hubbard model can be revealed in unprecedented detail using the technique of quantum interference in atomic physics. This is achieved by using quantum interference to measure the Marshall sign of the doped antiferromanget. The region of wrong Marshall sign directly reflects the spatial extent of fluctuating string attached to the holon.


title: Robotic Assembly across Multiple Contact Stiffnesses with Robust Force Controllers

abstract: Active Force Control (AFC) is an important scheme for tackling high-precision robotic assembly. Classical force controllers are highly surface-dependent: the controller must be carefully tuned for each type of surface in contact, in order to avoid instabilities and to achieve a reasonable performance level. Here, we build upon the recently-developed Convex Controller Synthesis (CCS) to enable high-precision assembly across a wide range of surface stiffnesses without any surface-dependent tuning. Specifically, we demonstrate peg-in-hole assembly with 100 micron clearance, initial position uncertainties up to 2 cm, and for four types of peg and hole materials -- rubber, plastic, wood, aluminum -- whose stiffnesses range from 10 to 100 N/mm, using a single controller.


title: Weight hierarchies and weight distributions of a familiy of $p$-ary linear codes

abstract: The weight distribution and weight hierarchy of linear codes are two important research topics in coding theory. In this paper, by choosing proper defining sets from inhomogeneous quadratic functions over $\mathbb{F}_{q}^{2},$ we construct a family of $3$-weight $p$-ary linear codes and determine their weight distributions and weight hierarchies. Most of the codes can be used in secret sharing schemes.


title: Very low overhead fault-tolerant magic state preparation using redundant ancilla encoding and flag qubits

abstract: The overhead cost of performing universal fault-tolerant quantum computation for large scale quantum algorithms is very high. Despite several attempts at alternative schemes, magic state distillation remains one of the most efficient schemes for simulating non-Clifford gates in a fault-tolerant way. However, since magic state distillation circuits are not fault-tolerant, all Clifford operations must be encoded in a large distance code in order to have comparable failure rates with the magic states being distilled. In this work, we introduce a new concept which we call redundant ancilla encoding. The latter combined with flag qubits allows for circuits to both measure stabilizer generators of some code, while also being able to measure global operators to fault-tolerantly prepare magic states, all using nearest neighbor interactions. In particular, we apply such schemes to a planar architecture of the triangular color code family. In addition to our scheme being suitable for experimental implementations, we show that for physical error rates near $10^{-4}$ and under a full circuit-level noise model, our scheme can produce magic states using an order of magnitude fewer qubits and space-time overhead compared to the most competitive magic state distillation schemes. Further, we can take advantage of the fault-tolerance of our circuits to produce magic states with very low logical failure rates using encoded Clifford gates with noise rates comparable to the magic states being injected. Thus, stabilizer operations are not required to be encoded in a very large distance code. Consequently, we believe our scheme to be suitable for implementing fault-tolerant universal quantum computation with hardware currently under development.


title: Dynamical Phase Transitions in a 2D Classical Nonequilibrium Model via 2D Tensor Networks

abstract: We demonstrate the power of 2D tensor networks for obtaining large deviation functions of dynamical observables in a classical nonequilibrium setting. Using these methods, we analyze the previously unstudied dynamical phase behavior of the fully 2D asymmetric simple exclusion process with biases in both the x and y directions. We identify a dynamical phase transition, from a jammed to a flowing phase, and characterize the phases and the transition, with an estimate of the critical point and exponents.


title: Cost-Sensitive Portfolio Selection via Deep Reinforcement Learning

abstract: Portfolio Selection is an important real-world financial task and has attracted extensive attention in artificial intelligence communities. This task, however, has two main difficulties: (i) the non-stationary price series and complex asset correlations make the learning of feature representation very hard; (ii) the practicality principle in financial markets requires controlling both transaction and risk costs. Most existing methods adopt handcraft features and/or consider no constraints for the costs, which may make them perform unsatisfactorily and fail to control both costs in practice. In this paper, we propose a cost-sensitive portfolio selection method with deep reinforcement learning. Specifically, a novel two-stream portfolio policy network is devised to extract both price series patterns and asset correlations, while a new cost-sensitive reward function is developed to maximize the accumulated return and constrain both costs via reinforcement learning. We theoretically analyze the near-optimality of the proposed reward, which shows that the growth rate of the policy regarding this reward function can approach the theoretical optimum. We also empirically evaluate the proposed method on real-world datasets. Promising results demonstrate the effectiveness and superiority of the proposed method in terms of profitability, cost-sensitivity and representation abilities.


title: Combining GHOST and Casper

abstract: We present "Gasper," a proof-of-stake-based consensus protocol, which is an idealized version of the proposed Ethereum 2.0 beacon chain. The protocol combines Casper FFG, a finality tool, with LMD GHOST, a fork-choice rule. We prove safety, plausible liveness, and probabilistic liveness under different sets of assumptions.


title: Experimental Demonstration of Location-aware Beam Alignment

abstract: The main focus of beam alignment is to find the optimal beam which yields the largest received signal strength (RSS) with faster speed.In this paper, we demonstrate an efficient beam alignment scheme with our testbed. The algorithm we experiment uses the location information for the computation efficient beam alignment.The testbed transmits and receives the 13.8 GHz signal and steers a beam on both transmitter and receiver with various radio frequency (RF) components. The location information is estimated with the indoor positioning module. The experiment shows that the location-aware algorithm significantly reduces the time consumption for beam alignment than the exhaustive search.


title: Hexagonal boron nitride as an ideal substrate for carbon nanotube photonics

abstract: Hexagonal boron nitride is widely used as a substrate for two-dimensional materials in both electronic and photonic devices. Here, we demonstrate that two-dimensional hexagonal boron nitride is also an ideal substrate for one-dimensional single-walled carbon nanotubes. Nanotubes directly attached to hexagonal boron nitride show bright photoluminescence with narrow linewidth at room temperature, comparable to air-suspended nanotubes. Using photoluminescence excitation spectroscopy, we unambiguously assign the chiralities of nanotubes on boron nitride by tracking individual tubes before and after contact with boron nitride. Although hexagonal boron nitride has a low dielectric constant and is attached to only one side of the nanotubes, we observe that optical transition energies are redshifted as much as ~50 meV from the air-suspended nanotubes. We also perform statistical measurements on more than 400 tubes, and the redshifts are found to be dependent on tube diameter. This work opens up new possibilities for all-solid-state carbon nanotube photonic devices by utilizing hexagonal boron nitride substrates.


title: GeoConv: Geodesic Guided Convolution for Facial Action Unit Recognition

abstract: Automatic facial action unit (AU) recognition has attracted great attention but still remains a challenging task, as subtle changes of local facial muscles are difficult to thoroughly capture. Most existing AU recognition approaches leverage geometry information in a straightforward 2D or 3D manner, which either ignore 3D manifold information or suffer from high computational costs. In this paper, we propose a novel geodesic guided convolution (GeoConv) for AU recognition by embedding 3D manifold information into 2D convolutions. Specifically, the kernel of GeoConv is weighted by our introduced geodesic weights, which are negatively correlated to geodesic distances on a coarsely reconstructed 3D face model. Moreover, based on GeoConv, we further develop an end-to-end trainable framework named GeoCNN for AU recognition. Extensive experiments on BP4D and DISFA benchmarks show that our approach significantly outperforms the state-of-the-art AU recognition methods.


title: Modelling hystereses observed during dwarf-nova outbursts

abstract: Context. Although the disc instability model is widely accepted as the explanation for dwarf nova outbursts, it is still necessary to confront its predictions to observations because much of the constraints on angular momentum transport in accretion discs are derived from the application of this model to real systems. Aims. We test the predictions of the model concerning the multicolour time evolution of outbursts for two well--observed systems, SS Cyg and VW Hyi. Methods. We calculate the multicolour evolution of dwarf nova outbursts using the disc instability model and taking into account the contribution from the irradiated secondary, the white dwarf and the hot spot. Results. Observations definitely show the existence of a hysteresis in the optical colour-magnitude diagram during the evolution of dwarf nova outbursts. We find that the disc instability model naturally explains the existence and the orientation of this hysteresis. For the specific cases of SS Cyg and VW Hyi, the colour and magnitude ranges covered during the evolution of the system are in reasonable agreement with observations. However, the observed colours are bluer than observed near the peak of the outbursts -- as in steady systems, and the amplitude of the hysteresis cycle is smaller than observed. The predicted colours significantly depend on the assumptions made for calculating the disc spectrum during rise, and on the magnitude of the secondary irradiation for the decaying part of the outburst. Conclusions. Improvements of the spectral disc models are strongly needed if one wishes to address the system evolution in the UV.


title: Tuning the stability of Electrochemical Interfaces by Electron Transfer reactions

abstract: The morphology of interfaces is known to play fundamental role on the efficiency of energy-related applications, such light harvesting or ion intercalation. Altering the morphology on demand, however, is a very difficult task. Here, we show ways the morphology of interfaces can be tuned by driven electron transfer reactions. By using non-equilibrium thermodynamic stability theory, we uncover the operating conditions that alter the interfacial morphology. We apply the theory to ion intercalation and surface growth where electrochemical reactions are described using Butler-Volmer or coupled ion-electron transfer kinetics. The latter connects microscopic/quantum mechanical concepts with the morphology of electrochemical interfaces. Finally, we construct non-equilibrium phase diagrams in terms of the applied driving force (current/voltage) and discuss the importance of engineering the density of states of the electron donor in applications related to energy harvesting and storage, electrocatalysis and photocatalysis.


title: Exponentially Faster Shortest Paths in the Congested Clique

abstract: We present improved deterministic algorithms for approximating shortest paths in the Congested Clique model of distributed computing. We obtain $poly(\log\log n)$-round algorithms for the following problems in unweighted undirected $n$-vertex graphs: -- $(1+\epsilon)$-approximation of multi-source shortest paths (MSSP) from $O(\sqrt{n})$ sources. -- $(2+\epsilon)$-approximation of all pairs shortest paths (APSP). -- $(1+\epsilon,\beta)$-approximation of APSP where $\beta=O(\frac{\log\log n}{\epsilon})^{\log\log n}$. These bounds improve exponentially over the state-of-the-art poly-logarithmic bounds due to [Censor-Hillel et al., PODC19]. It also provides the first nearly-additive bounds for the APSP problem in sub-polynomial time. Our approach is based on distinguishing between short and long distances based on some distance threshold $t = O(\frac{\beta}{\epsilon})$ where $\beta=O(\frac{\log\log n}{\epsilon})^{\log\log n}$. Handling the long distances is done by devising a new algorithm for computing sparse $(1+\epsilon,\beta)$ emulator with $O(n\log\log n)$ edges. For the short distances, we provide distance-sensitive variants for the distance tool-kit of [Censor-Hillel et al., PODC19]. By exploiting the fact that this tool-kit should be applied only on local balls of radius $t$, their round complexities get improved from $poly(\log n)$ to $poly(\log t)$. Finally, our deterministic solutions for these problems are based on a derandomization scheme of a novel variant of the hitting set problem, which might be of independent interest.


title: Magnetic field structure of the Galactic plane from differential analysis of interstellar polarization

abstract: A new method for measuring the global magnetic field structure of the Galactic plane is presented. We have determined the near-infrared polarization of field stars around 52 Cepheids found in recent surveys toward the Galactic plane. The Cepheids are located at the galactic longitudes $-10^{\circ}\leq \, l\, \leq +10.5^{\circ}$ and latitudes $-0.22^{\circ}\leq \, l\, \leq +0.45^{\circ}$, and their distances are mainly in the range of 10 to 15 kpc from the Sun. Simple classification of the sightlines is made with the polarization behavior vs. $H-K_{\mathrm S}$ color of field stars, and typical examples of three types are presented. Then, division of the field stars in each line of sight into (a) foreground, (b) bulge, and (c) background is made with the $Gaia$ DR2 catalog, the peak of the $H-K_{\mathrm S}$ color histogram, and $H-K_{\mathrm S}$ colors consistent with the distance of the Cepheid in the center, respectively. Differential analysis between them enables us to examine the magnetic field structure more definitely than just relying on the $H-K_{\mathrm S}$ color difference. In one line of sight, the magnetic field is nearly parallel to the Galactic plane and well aligned all the way from the Sun to the Cepheid position on the other side of the Galactic center. Contrary to our preconceived ideas, however, sightlines having such well-aligned magnetic fields in the Galactic plane are rather small in number. At least 36 Cepheid fields indicate random magnetic field components are significant. Two Cepheid fields indicate that the magnetic field orientation changes more than 45 in the line of sight. The polarization increase per color change $P$/ ($H-K_{\mathrm S}$) varies from region to region, reflecting the change in the ratio of the magnetic field strength and the turbulence strength.


title: An integrable (classical and quantum) four-wave mixing Hamiltonian system

abstract: A four-wave mixing Hamiltonian system on the classical as well as on the quantum level is investigated. In the classical case, if one assumes the frequency resonance condition of the form $\omega_0 -\omega_1 +\omega_2 -\omega_3=0$, this Hamiltonian system is integrated in quadratures and the explicit formulas of solutions are presented. Under the same condition the spectral decomposition of quantum Hamiltonian is found and thus, the Heisenberg equation for this system is solved. Some applications of the obtained results in non-linear optics are disscused.


title: Adsorption property of fatty acid on iron surface with $\Sigma$3(111) grain boundary

abstract: Reducing the coefficient of boundary friction on steel surfaces is one of key technologies to improve the efficiency of machines such as automotive engines. It has been shown that the boundary friction on nanostructured steel surfaces in the sliding test using hydrocarbon lubricant molecules is smaller than the friction of normal steel surfaces. The main difference between the nanostructured and a normal surfaces is the density of grain boundaries and other surface defects. The surface defect can attract lubricant molecules and enhance lubricating film formation on metal surfaces. This can be one of the mechanisms that induce the friction reduction on the nanosructured steel surface. In this work, using first principles calculations, the adsorbability of a lubricant molecule, a fatty acid, on a defected iron surfaces has been studied. Adsorbability of the Fe(110) surface with symmetrical tilt {\Sigma}3(111) grain boundary was compared to that of the clean Fe(110) surface. As a result, we found that the molecule is adsorbed on sites close to the grain boundary more strongly (0.77 eV in average) than on the Fe surface without grain boundary.


title: Carroll versus Galilei from a Brane Perspective

abstract: We show that our previous work on Galilei and Carroll gravity, apt for particles, can be generalized to Galilei and Carroll gravity theories adapted to p-branes (p = 0, 1, 2, ...). Within this wider brane perspective, we make use of a formal map, given in the literature, between the corresponding p-brane Carroll and Galilei algebras where the index describing the directions longitudinal (transverse) to the Galilei brane is interchanged with the index covering the directions transverse (longitudinal) to the Carroll brane with the understanding that the time coordinate is always among the longitudinal directions. This leads among other things in 3D to a map between Galilei particles and Carroll strings and in 4D to a similar map between Galilei strings and Carroll strings. We show that this formal map extends to the corresponding Lie algebra expansion of the Poincar\'e algebra and, therefore, to several extensions of the Carroll and Galilei algebras including central extensions. We use this formal map to construct several new examples of Carroll gravity actions. Furthermore, we discuss the symmetry between Carroll and Galilei at the level of the p-brane sigma model action and apply this formal symmetry to give several examples of 3D and 4D particles and strings in a curved Carroll background.


title: Quantum Adiabatic Theorem Revisited

abstract: In 2004 Ambainis and Regev formulated a certain form of quantum adiabatic theorem and provided an elementary proof which is especially accessible to computer scientists. Their result is achieved by discretizing the total adiabatic evolution into a sequence of unitary transformations acting on the quantum system. Here we continue this line of study by providing another elementary and shorter proof with improved bounds. Our key finding is a succinct integral representation of the difference between the target and the actual states, which yields an accurate estimation of the approximation error. Our proof can be regarded as a "continuous" version of the work by Ambainis and Regev. As applications, we show how to adiabatically prepare an arbitrary qubit state from an initial state.


title: Transfer Learning for Information Extraction with Limited Data

abstract: This paper presents a practical approach to fine-grained information extraction. Through plenty of experiences of authors in practically applying information extraction to business process automation, there can be found a couple of fundamental technical challenges: (i) the availability of labeled data is usually limited and (ii) highly detailed classification is required. The main idea of our proposal is to leverage the concept of transfer learning, which is to reuse the pre-trained model of deep neural networks, with a combination of common statistical classifiers to determine the class of each extracted term. To do that, we first exploit BERT to deal with the limitation of training data in real scenarios, then stack BERT with Convolutional Neural Networks to learn hidden representation for classification. To validate our approach, we applied our model to an actual case of document processing, which is a process of competitive bids for government projects in Japan. We used 100 documents for training and testing and confirmed that the model enables to extract fine-grained named entities with a detailed level of information preciseness specialized in the targeted business process, such as a department name of application receivers.


title: Defense against adversarial attacks on spoofing countermeasures of ASV

abstract: Various forefront countermeasure methods for automatic speaker verification (ASV) with considerable performance in anti-spoofing are proposed in the ASVspoof 2019 challenge. However, previous work has shown that countermeasure models are vulnerable to adversarial examples indistinguishable from natural data. A good countermeasure model should not only be robust against spoofing audio, including synthetic, converted, and replayed audios; but counteract deliberately generated examples by malicious adversaries. In this work, we introduce a passive defense method, spatial smoothing, and a proactive defense method, adversarial training, to mitigate the vulnerability of ASV spoofing countermeasure models against adversarial examples. This paper is among the first to use defense methods to improve the robustness of ASV spoofing countermeasure models under adversarial attacks. The experimental results show that these two defense methods positively help spoofing countermeasure models counter adversarial examples.


title: Expected complexity analysis of stochastic direct-search

abstract: This work presents the convergence rate analysis of stochastic variants of the broad class of direct-search methods of directional type. It introduces an algorithm designed to optimize differentiable objective functions $f$ whose values can only be computed through a stochastically noisy blackbox. The proposed stochastic directional direct-search (SDDS) algorithm accepts new iterates by imposing a sufficient decrease condition on so called probabilistic estimates of the corresponding unavailable objective function values. The accuracy of such estimates is required to hold with a sufficiently large but fixed probability $\beta$. The analysis of this method utilizes an existing supermartingale-based framework proposed for the convergence rates analysis of stochastic optimization methods that use adaptive step sizes. It aims to show that the expected number of iterations required to drive the norm of the gradient of $f$ below a given threshold $\epsilon$ is bounded in $\mathcal{O}\left(\epsilon^{\frac{-p}{\min(p-1,1)}}/(2\beta-1)\right)$ with $p>1$. Unlike prior analysis using the same aforementioned framework such as those of stochastic trust-region methods and stochastic line search methods, SDDS does not use any gradient information to find descent directions. However, its convergence rate is similar to those of both latter methods with a dependence on $\epsilon$ that also matches that of the broad class of deterministic directional direct-search methods which accept new iterates by imposing a sufficient decrease condition.


title: Nonhomogeneous systems involving critical or subcritical nonlinearities

abstract: This paper deals with existence of a nontrivial positive solution to systems of equations involving nontrivial nonhomogeneous terms and critical or subcritical nonlinearities. Via a minimization argument we prove existence of a positive solution whose energy is negative provided that the nonhomogeneous terms are small enough in the dual norm.


title: Walking and running with non-specific chronic low back pain: what about the lumbar lordosis angle?

abstract: Non-specific chronic low back pain (NSCLBP) is a major health problem, affecting about one fifth of the population worldwide. To avoid further pain or injury, patients with NSCLBP seem to adopt a stiffer movement pattern during everyday living activities. However, it remains unknown how NSCLBP affects the lumbar lordosis angle (LLA) during repetitive activities such as walking or running. This pilot study therefore aimed at exploring possible NSCLBP-related alterations in LLAs during walking and running by focusing on discrete parameters as well as continuous data. Thirteen patients with NSCLBP and 20 healthy pain-free controls were enrolled and underwent a full-body movement analysis involving various everyday living activities such as standing, walking and running. LLAs were derived from markers placed on the spinous processes of the vertebrae L1-L5 and S1. Possible group differences in discrete (average and range of motion (ROM)) and continuous LLAs were analyzed descriptively using mean differences with confidence intervals ranging from 95% to 75%. Patients with NSCLBP indicated reduced average LLAs during standing, walking and running and a tendency for lower LLA-ROM during walking. Analyses of continuous data indicated the largest group differences occurring around 25% and 70% of the walking and 25% and 75% of the running cycle. Furthermore, patients indicated a reversed movement pattern during running, with increasing instead of a decreasing LLAs after foot strike. This study provides preliminary evidence that NSCLBP might affect LLAs during walking and running. These results can be used as a basis for future large-scale investigations involving hypothesis testing.


title: Parsing Thai Social Data: A New Challenge for Thai NLP

abstract: Dependency parsing (DP) is a task that analyzes text for syntactic structure and relationship between words. DP is widely used to improve natural language processing (NLP) applications in many languages such as English. Previous works on DP are generally applicable to formally written languages. However, they do not apply to informal languages such as the ones used in social networks. Therefore, DP has to be researched and explored with such social network data. In this paper, we explore and identify a DP model that is suitable for Thai social network data. After that, we will identify the appropriate linguistic unit as an input. The result showed that, the transition based model called, improve Elkared dependency parser outperform the others at UAS of 81.42%.


title: The Graph Limit of The Minimizer of The Onsager-Machlup Functional and Its Computation

abstract: The Onsager-Machlup (OM) functional is well-known for characterizing the most probable transition path of a diffusion process with non-vanishing noise. However, it suffers from a notorious issue that the functional is unbounded below when the specified transition time $T$ goes to infinity. This hinders the interpretation of the results obtained by minimizing the OM functional. We provide a new perspective on this issue. Under mild conditions, we show that although the infimum of the OM functional becomes unbounded when $T$ goes to infinity, the sequence of minimizers does contain convergent subsequences on the space of curves. The graph limit of this minimizing subsequence is an extremal of the abbreviated action functional, which is related to the OM functional via the Maupertuis principle with an optimal energy. We further propose an energy-climbing geometric minimization algorithm (EGMA) which identifies the optimal energy and the graph limit of the transition path simultaneously. This algorithm is successfully applied to several typical examples in rare event studies. Some interesting comparisons with the Freidlin-Wentzell action functional are also made.


title: Classification of stable solutions to a non-local Gelfand-Liouville equation

abstract: We study finite Morse index solutions to the non-local Gelfand-Liouville problem $$ (-\Delta)^su=e^u\quad\mathrm{in}\quad \mathbb{R}^n,$$ for every $s\in(0,1)$ and $n>2s$. Precisely, we prove non-existence of finite Morse index solutions whenever the singular solution $$u_{n,s}(x)=-2s\log|x|+\log \left(2^{2s}\frac{\Gamma(\frac{n}{2})\Gamma(1+s)}{\Gamma(\frac{n-2s}{2})}\right)$$ is unstable.


title: Improving Neural Named Entity Recognition with Gazetteers

abstract: The goal of this work is to improve the performance of a neural named entity recognition system by adding input features that indicate a word is part of a name included in a gazetteer. This article describes how to generate gazetteers from the Wikidata knowledge graph as well as how to integrate the information into a neural NER system. Experiments reveal that the approach yields performance gains in two distinct languages: a high-resource, word-based language, English and a high-resource, character-based language, Chinese. Experiments were also performed in a low-resource language, Russian on a newly annotated Russian NER corpus from Reddit tagged with four core types and twelve extended types. This article reports a baseline score. It is a longer version of a paper in the 33rd FLAIRS conference (Song et al. 2020).


title: Extracting subsets maximizing capacity and Folding of Random Walks

abstract: We prove that in any finite set of $\mathbb Z^d$ with $d\ge 3$, there is a subset whose capacity and volume are both of the same order as the capacity of the initial set. As an application we obtain estimates on the probability of {\it covering uniformly} a finite set, and characterize some {\it folding} events, under optimal hypotheses. For instance, knowing that a region of space has an {\it atypically high occupation density} by some random walk, we show that this random region is most likely ball-like


title: Real-time Tone Mapping: A State of the Art Report

abstract: The rising demand for high quality display has ensued active research in high dynamic range (HDR) imaging, which has the potential to replace the standard dynamic range imaging. This is due to HDR's features like accurate reproducibility of a scene with its entire spectrum of visible lighting and color depth. But this capability comes with expensive capture, display, storage and distribution resource requirements. Also, display of HDR images/video content on an ordinary display device with limited dynamic range requires some form of adaptation. Many adaptation algorithms, widely known as tone mapping operators, have been studied and proposed in the last few decades. In this state of the art report, we present a comprehensive survey of 50+ tone mapping algorithms that have been implemented on hardware for acceleration and real-time performance. These algorithms have been adapted or redesigned to make them hardware-friendly. All real-time application poses strict timing constraints which requires time exact processing of the algorithm. This design challenge require novel solution, and in this report we focus on these issues. In this we survey will discuss those tonemap algorithms which have been implemented on GPU [1-10], FPGA [11-41], and ASIC [42-53] in terms of their hardware specifications and performance. Output image quality is an important metric for tonemap algorithms. From our literature survey we found that, various objective quality metrics have been used to demonstrate the functionality of adapting the algorithm on hardware platform. We have compiled and studied all the metrics used in this survey [54-67]. Finally, in this report we demonstrate the link between hardware cost and image quality thereby illustrating the underlying trade-off which will be useful for the research community.


title: Adiabatic geometric phase in fully nonlinear three-wave mixing

abstract: In a nonlinear three-wave mixing process, the interacting waves can accumulate an adiabatic geometric phase (AGP) if the nonlinear coefficient of the crystal is modulated in a proper manner along the nonlinear crystal. This concept was studied so far only for the case in which the pump wave is much stronger than the two other waves, hence can be assumed to be constant. Here we extend this analysis for the fully nonlinear process, in which all three waves can be depleted and we show that the sign and magnitude of the AGP can be controlled by the period, phase and duty cycle of the nonlinear modulation pattern. In this fully nonlinear interaction, all the states of the system can be mapped onto a closed surface. Specifically, we study a process in which the eigenstate of the system follows a circular rotation on the surface. Our analysis reveals that the AGP equals to the difference between the total phase accumulated along the circular trajectory and that along its vertical projection, which is universal for the undepleted (linear) and depleted (nonlinear) cases. Moreover, the analysis reveals that the AGPs in the processes of sum-frequency generation and difference-frequency generation have opposite chirality. Finally, we utilize the AGP in the fully nonlinear case for splitting the beam into different diffraction orders in the far field.


title: Predicting Stock Returns with Batched AROW

abstract: We extend the AROW regression algorithm developed by Vaits and Crammer in [VC11] to handle synchronous mini-batch updates and apply it to stock return prediction. By design, the model should be more robust to noise and adapt better to non-stationarity compared to a simple rolling regression. We empirically show that the new model outperforms more classical approaches by backtesting a strategy on S\&P500 stocks.


title: Multiple wells Airy-Schr{\"o}dinger operator and integrated density of states of the periodic Airy-Schr{\"o}dinger operator

abstract: We compute an explicit formula for the integrated density of states of the periodic Airy-Schr{\"o}dinger operator on the real line. For this purpose, we study precisely the spectrum of the restriction of the periodic Airy-Schr{\"o}dinger operator to a finite number of periods. We prove that all the eigenvalues of this restriction are in the spectral bands of the periodic Airy-Schr{\"o}dinger operator and none of them are in its spectral gaps. We count exactly the number of eigenvalues in each of the spectral bands, this number being equal to the number of periods to which the periodic operator is restricted, plus one. Note that our results depends on a semiclassical parameter but are not stated in the semiclassical limit. They are valid for values of the semiclassical larger than explicit constants.


title: Different Modes of Star Formation II: Gas Accretion Phase of Initially Subcritical Star-Forming Clouds

abstract: The accretion phase of star formation is investigated in magnetically-dominated clouds that have an initial subcritical mass-to-flux ratio. We employ nonideal magnetohydrodynamic simulations that include ambipolar diffusion and ohmic dissipation. During the early prestellar phase the mass-to-flux ratio rises toward the critical value for collapse, and during this time the angular momentum of the cloud core is reduced significantly by magnetic braking. Once a protostar is formed in the core, the accretion phase is characterized by the presence of a small amount of angular momentum but a large amount of magnetic flux in the near-protostellar environment. The low angular momentum leads to a very small (or even nonexistent) disk and weak outflow, while the large magnetic flux can lead to an interchange instability that rapidly removes flux from the central region. The effective magnetic braking in the early collapse phase can even lead to a counter-rotating disk and outflow, in which the rotation direction of the disk and outflow is opposite to that of the infalling envelope. The solutions with a counter-rotating disk, tiny disk, or nonexistent disk (direct collapse) are unique outcomes that are realized in collapse from magnetically-dominated clouds with an initial subcritical mass-to-flux ratio.


title: Language-aware Indexing for Conjunctive Path Queries

abstract: Conjunctive path queries (CPQ) are one of the most frequently used queries for complex graph analysis. However, current graph indexes are not tailored to fully support the power of query languages to express CPQs. Consequently, current methods do not take advantage of significant pruning opportunities during \cpq{} evaluation, resulting in poor query processing performance. We propose the CPQ-aware path index CPQx, the first path index tailored to the expressivity of CPQ. CPQx is built on the partition of the set of source-target vertex pairs of paths in a graph based on the structural notion of path-bisimulation. Path-bisimulation is an equivalence relation on paths such that each partition block induced by the relation consists of paths in the graph indistinguishable with respect to CPQs. This language-aware partitioning of the graph can significantly reduce the cost of query evaluation. We present methods to support the full index life cycle: index construction, maintenance, and query processing with our index. We also develop interest-aware CPQx to reduce index size and index construction overhead while accelerating query evaluation for queries of interest. We demonstrate through extensive experiments on 14 real graphs that our methods accelerate query processing by up to multiple orders of magnitude over the state-of-the-art methods, with smaller index sizes. Our complete C++ codebase is available as open source for further research.


title: Sparse Gaussian Processes Revisited: Bayesian Approaches to Inducing-Variable Approximations

abstract: Variational inference techniques based on inducing variables provide an elegant framework for scalable posterior estimation in Gaussian process (GP) models. Besides enabling scalability, one of their main advantages over sparse approximations using direct marginal likelihood maximization is that they provide a robust alternative for point estimation of the inducing inputs, i.e. the location of the inducing variables. In this work we challenge the common wisdom that optimizing the inducing inputs in the variational framework yields optimal performance. We show that, by revisiting old model approximations such as the fully-independent training conditionals endowed with powerful sampling-based inference methods, treating both inducing locations and GP hyper-parameters in a Bayesian way can improve performance significantly. Based on stochastic gradient Hamiltonian Monte Carlo, we develop a fully Bayesian approach to scalable GP and deep GP models, and demonstrate its state-of-the-art performance through an extensive experimental campaign across several regression and classification problems.


title: CNN-based Repetitive self-revised learning for photos' aesthetics imbalanced classification

abstract: Aesthetic assessment is subjective, and the distribution of the aesthetic levels is imbalanced. In order to realize the auto-assessment of photo aesthetics, we focus on using repetitive self-revised learning (RSRL) to train the CNN-based aesthetics classification network by imbalanced data set. As RSRL, the network is trained repetitively by dropping out the low likelihood photo samples at the middle levels of aesthetics from the training data set based on the previously trained network. Further, the retained two networks are used in extracting highlight regions of the photos related with the aesthetic assessment. Experimental results show that the CNN-based repetitive self-revised learning is effective for improving the performances of the imbalanced classification.


title: Some split symbol algebras of prime degree

abstract: Let $p$ be an odd prime, let $K=\mathbb{Q}(\epsilon)$ where $\epsilon$ is a primitive cubic root of unity, and let $L$ be the Kummer field $\mathbb{Q}\left(\epsilon, \sqrt[3]{\alpha}\right)$. In this paper we obtain a characterization of the splitting behavior of the symbol algebras $\left( \frac{\alpha ,p}{K,\epsilon }\right)$ and $\left( \frac{\alpha ,p^{h_{p}}}{K,\epsilon}\right)$, where $h_{p}$ is the order in the class group $Cl\left(L\right)$ of a prime ideal of $\mathcal{O}_L$ which divides $p\mathcal{O}_L.$


title: Within-host bacterial growth dynamics with both mutation and horizontal gene transfer

abstract: The evolution and emergence of antibiotic resistance is a major public health concern. The understanding of the within-host microbial dynamics combining mutational processes, horizontal gene transfer and resource consumption, is one of the keys to solve this problem. We analyze a generic model to rigorously describe interactions dynamics of four bacterial strains: one fully sensitive to the drug, one with mutational resistance only, one with plasmidic resistance only and one with both resistances. By dening thresholds numbers (i.e. each strain's eective reproduction and each strain's transition thresholds numbers), we rst express conditions for the existence of non trivial stationary states. We nd that these thresholds mainly depend on bacteria quantitative traits such as nutrient consumption ability, growth conversion factor, death rate, mutation (forward or reverse) and segregational loss of plasmid probabilities (for plasmid-bearing strains). Next, with respect to the order in the set of strain's eective reproduction thresholds numbers, we show that the qualitative dynamics of the model range from the extinction of all strains, coexistence of sensitive and mutational resistance strains to the coexistence of all strains at equilibrium. Finally, we go through some applications of our general analysis depending on whether bacteria strains interact without or with drug action (either cytostatic or cytotoxic).


title: The relation between Hamiltonian and $1$-tough properties of the Cartesian product graphs

abstract: The relation between Hamiltonicity and toughness of a graph is a long standing research problem. The paper studies the Hamiltonicity of the Cartesian product graph $G_1\square G_2$ of graphs $G_1$ and $G_2$ satisfying that $G_1$ is traceable and $G_2$ is connected with a path factor. Let Pn be the path of order $n$ and $H$ be a connected bipartite graph. With certain requirements of $n$, we show that the following three statements are equivalent: (i) $P_n\square H$ is Hamiltonian; (ii) $P_n\square H$ is $1$-tough; and (iii) $H$ has a path factor.


title: The Stability and Stabilization of Infinite Dimensional Caputo-Time Fractional Differential Linear Systems

abstract: We investigate the stability and stabilization concepts for infinite dimensional time fractional differential linear systems in Hilbert spaces with Caputo derivatives. Firstly, based on a family of operators generated by strongly continuous semigroups and on a probability density function, we provide sufficient and necessary conditions for the exponential stability of the considered class of systems. Then, by assuming that the system dynamics is symmetric and uniformly elliptic and by using the properties of the Mittag-Leffler function, we provide sufficient conditions that ensure strong stability. Finally, we characterize an explicit feedback control that guarantees the strong stabilization of a controlled Caputo time fractional linear system through a decomposition approach. Some examples are presented that illustrate the effectiveness of our results.


title: Decay and Strichartz estimates in critical electromagnetic fields

abstract: We study the $L^1\to L^\infty$-decay estimates for dispersive equations in the Aharonov-Bohm magnetic fields, and further prove Strichartz estimates for the Klein-Gordon equation with critical electromagnetic potentials. The novel ingredients are the construction of Schwartz kernels of the spectral measure and heat propagator for the Schr\"odinger operator in Aharonov-Bohm magnetic fields. In particular, we explicitly construct the representation of the spectral measure and resolvent of the Schr\"odinger operator with Aharonov-Bohm potentials, and show that the heat kernel in critical electromagnetic fields satisfies Gaussian boundedness. In future papers, this result on the spectral measure will be used to (i) study the uniform resolvent estimates, and (ii) prove the $L^p$-regularity property of wave propagation in the same setting.


title: On the second Robin eigenvalue of the Laplacian

abstract: We study the Robin eigenvalue problem for the Laplace-Beltrami operator on Riemannian manifolds. Our first result is a comparison theorem for the second Robin eigenvalue on geodesic balls in manifolds whose sectional curvatures are bounded from above. Our second result asserts that geodesic balls in nonpositively curved space forms maximize the second Robin eigenvalue among bounded domains of the same volume.


title: Electron-Doping Effect on Tc in the Undoped (Ce-Free) Superconductor T'-La1.8Eu0.2CuO4 Studied by the Fluorine Substitution for Oxygen

abstract: We have succeeded in synthesizing electron-doped polycrystalline bulk samples of T'-La1.8Eu0.2CuO4-yFy (y = 0 - 0.15) by the fluorination of undoped (Ce-free) T'-La1.8Eu0.2CuO4 using NH4F. The magnetic susceptibility measurements have revealed that the superconducting transition temperature, Tc, increases with increasing y, exhibits the maximum of 23 K at y = 0.025, and decreases. The dome-like dependence of Tc on the doped carrier concentration in the T'-type (La,Eu)-based cuprates is explained in terms of the pairing mediated by spin fluctuations based on the d-p model calculation [K. Yamazaki et al., J. Phys.: Conf. Ser. 871, 012009 (2017)].


title: Objective-free excitation of quantum emitters with a laser-written micro parabolic mirror

abstract: The efficient excitation of quantum sources such as quantum dots or single molecules requires high NA optics which is often a challenge in cryogenics, or in ultrafast optics. Here we propose a 3.2 um wide parabolic mirror, with a 0.8 um focal length, fabricated by direct laser writing on CdSe/CdS colloidal quantum dots, capable of focusing the excitation light to a sub-wavelength spot and to extract the generated emission by collimating it into a narrow beam. This mirror is fabricated via in-situ volumetric optical lithography, which can be aligned to individual emitters, and it can be easily adapted to other geometries beyond the paraboloid. This compact solid-state transducer from far-field to the emitter has important applications in objective-free quantum technologies.


title: Highly-Degenerate Photonic Waveguide Structures for Holonomic Computation

abstract: We investigate an all-out optical setup allowing for generation of non-Abelian geometric phases on its large degenerate eigenspaces. The proposal has the form of an M -pod system and can be implemented in terms of integrated photonic waveguide structures. We show that by injecting a larger number of photons into the optical setup, the degeneracy of eigenspaces scales rapidly. After studying the spectral properties of our system for the general case, we show how arbitrary U(4) transformations can be generated on the dark subspace of an optical tripod filled with two photons. Moreover, a degeneracy in the bright subspaces of the system, absent in any atomic analogue, allows for the generation of universal single-qubit manipulations. Finally, we address the complexity issue of holonomic computation. Particularly, we show how two-qubit and three-qubit states can be implemented on a photonic tripod, where a natural multi-partite structure is inherited from the spatial mode structure of the waveguides.


title: StereoNeuroBayesSLAM: A Neurobiologically Inspired Stereo Visual SLAM System Based on Direct Sparse Method

abstract: We propose a neurobiologically inspired visual simultaneous localization and mapping (SLAM) system based on direction sparse method to real-time build cognitive maps of large-scale environments from a moving stereo camera. The core SLAM system mainly comprises a Bayesian attractor network, which utilizes neural responses of head direction (HD) cells in the hippocampus and grid cells in the medial entorhinal cortex (MEC) to represent the head direction and the position of the robot in the environment, respectively. Direct sparse method is employed to accurately and robustly estimate velocity information from a stereo camera. Input rotational and translational velocities are integrated by the HD cell and grid cell networks, respectively. We demonstrated our neurobiologically inspired stereo visual SLAM system on the KITTI odometry benchmark datasets. Our proposed SLAM system is robust to real-time build a coherent semi-metric topological map from a stereo camera. Qualitative evaluation on cognitive maps shows that our proposed neurobiologically inspired stereo visual SLAM system outperforms our previous brain-inspired algorithms and the neurobiologically inspired monocular visual SLAM system both in terms of tracking accuracy and robustness, which is closer to the traditional state-of-the-art one.


title: Soft Video Multicasting Using Adaptive Compressed Sensing

abstract: Recently, soft video multicasting has gained a lot of attention, especially in broadcast and mobile scenarios where the bit rate supported by the channel may differ across receivers, and may vary quickly over time. Unlike the conventional designs that force the source to use a single bit rate according to the receiver with the worst channel quality, soft video delivery schemes transmit the video such that the video quality at each receiver is commensurate with its specific instantaneous channel quality. In this paper, we present a soft video multicasting system using an adaptive block-based compressed sensing (BCS) method. The proposed system consists of an encoder, a transmission system, and a decoder. At the encoder side, each block in each frame of the input video is adaptively sampled with a rate that depends on the texture complexity and visual saliency of the block. The obtained BCS samples are then placed into several packets, and the packets are transmitted via a channel-aware OFDM (orthogonal frequency division multiplexing) transmission system with a number of subchannels. At the decoder side, the received BCS samples are first used to build an initial approximation of the transmitted frame. To further improve the reconstruction quality, an iterative BCS reconstruction algorithm is then proposed that uses an adaptive transform and an adaptive soft-thresholding operator, which exploits the temporal similarity between adjacent frames to achieve better reconstruction quality. The extensive objective and subjective experimental results indicate the superiority of the proposed system over the state-of-the-art soft video multicasting systems.


title: An upper bound for the first nonzero Steklov eigenvalue

abstract: Let $(M^n,g)$ be a complete simply connected $n$-dimensional Riemannian manifold with curvature bounds $\operatorname{Sect}_g\leq \kappa$ for $\kappa\leq 0$ and $\operatorname{Ric}_g\geq(n-1)Kg$ for $K\leq 0$. We prove that for any bounded domain $\Omega \subset M^n$ with diameter $d$ and Lipschitz boundary, if $\Omega^*$ is a geodesic ball in the simply connected space form with constant sectional curvature $\kappa$ enclosing the same volume as $\Omega$, then $\sigma_1(\Omega) \leq C \sigma_1(\Omega^*)$, where $\sigma_1(\Omega)$ and $ \sigma_1(\Omega^*)$ denote the first nonzero Steklov eigenvalues of $\Omega$ and $\Omega^*$ respectively, and $C=C(n,\kappa, K, d)$ is an explicit constant. When $\kappa=K$, we have $C=1$ and recover the Brock-Weinstock inequality, asserting that geodesic balls uniquely maximize the first nonzero Steklov eigenvalue among domains of the same volume, in Euclidean space and the hyperbolic space.


title: Observability for generalized Schr\"odinger equations and quantum limits on product manifolds

abstract: Given a closed product Riemannian manifold N = M x M equipped with the product Riemannian metric g = h + h , we explore the observability properties for the generalized Schr{\"o}dinger equation i$\partial$ t u = F (g)u, where g is the Laplace-Beltrami operator on N and F : [0, +$\infty$) $\rightarrow$ [0, +$\infty$) is an increasing function. In this note, we prove observability in finite time on any open subset $\omega$ satisfying the so-called Vertical Geometric Control Condition, stipulating that any vertical geodesic meets $\omega$, under the additional assumption that the spectrum of F (g) satisfies a gap condition. A first consequence is that observability on $\omega$ for the Schr{\"o}dinger equation is a strictly weaker property than the usual Geometric Control Condition on any product of spheres. A second consequence is that the Dirac measure along any geodesic of N is never a quantum limit.


title: The explosion energy of the type IIP supernova SN 2013fs with a confined dense circumstellar shell

abstract: The recent study of SN 2013fs flash spectrum suggests enormous for SN IIP explosion energy, far beyond possibilities of the neutrino mechanism. The issue of the explosion energy of SN 2013fs is revisited making use of effects of the early supernova interaction with the dense circumstellar shell. The velocity of the cold dense shell between reverse and forward shocks is inferred from the analysis of the broad \heii\,4686\,\AA\ on day 2.4. This velocity alongside with other observables provide us with an alternative energy estimate of $\sim1.8\times10^{51}$\,erg for the preferred mass of $\sim10$\msun. The inferred value is within the range of the neutrino driven explosion.


title: Experimental realization of diffusion with stochastic resetting

abstract: Stochastic resetting is prevalent in natural and man-made systems giving rise to a long series of non-equilibrium phenomena. Diffusion with stochastic resetting serves as a paradigmatic model to study these phenomena, but the lack of a well-controlled platform by which this process can be studied experimentally has been a major impediment to research in the field. Here, we report the experimental realization of colloidal particle diffusion and resetting via holographic optical tweezers. We provide the first experimental corroboration of central theoretical results, and go on to measure the energetic cost of resetting in steady-state and first-passage scenarios. In both cases, we show that this cost cannot be made arbitrarily small due to fundamental constraints on realistic resetting protocols. The methods developed herein open the door to future experimental study of resetting phenomena beyond diffusion.


title: Multiconjugate Adaptive Optics for Astronomy

abstract: Since the year 2000, adaptive optics (AO) has seen the emergence of a variety of new concepts addressing particular science needs; multiconjugate adaptive optics (MCAO) is one of them. By correcting the atmospheric turbulence in 3D using several wavefront sensors and a tomographic phase reconstruction approach, MCAO aims to provide uniform diffraction limited images in the near-infrared over fields of view larger than 1 arcmin square, i.e., 10 to 20 times larger in area than classical single conjugated AO. In this review, we give a brief reminder of the AO principles and limitations, and then focus on aspects particular to MCAO, such as tomography and specific MCAO error sources. We present examples and results from past or current systems: MAD (Multiconjugate Adaptive Optics Demonstrator) and GeMS (Gemini MCAO System) for nighttime astronomy and the AO system, at Big Bear for solar astronomy. We examine MCAO performance (Strehl ratio up to 40percent in H band and full width at half maximum down to 52 mas in the case of MCAO), with a particular focus on photometric and astrometric accuracy, and conclude with considerations on the future of MCAO in the Extremely Large Telescope and post-HST era.


title: Bernoulli Trials With Skewed Propensities for Certification and Validation

abstract: The impetus for writing this paper are the well publicized media reports that software failure was the cause of the two recent mishaps of the Boeing 737 Max aircraft. The problem considered here though, is a specific one, in the sense that it endeavors to address the general matter of conditions under which an item such as a drug, a material specimen, or a complex, system can be certified for use based on a large number of Bernoulli trials, all successful. More broadly, the paper is an attempt to answer the old and honorable philosophical question, namely," when can empirical testing on its own validate a law of nature?" Our message is that the answer depends on what one starts with, namely, what is one's prior distribution, what unknown does this prior distribution endow, and what has been observed as data. The paper is expository in that it begins with a historical overview, and ends with some new ideas and proposals for addressing the question posed. In the sequel, it also articulates on Popper's notion of "propensity" and its role in providing a proper framework for Bayesian inference under Bernoulli trials, as well as the need to engage with posterior distributions that are subjectively specified; that is, without a recourse to the usual Bayesian prior to posterior iteration.


title: COMPLEX-IT: A Case-Based Modeling and Scenario Simulation Platform for Social Inquiry

abstract: COMPLEX-IT is a case-based, mixed-methods platform for social inquiry into complex data/systems, designed to increase non-expert access to the tools of computational social science (i.e., cluster analysis, artificial intelligence, data visualization, data forecasting, and scenario simulation). In particular, COMPLEX-IT aids social inquiry though a heavy emphasis on learning about the complex data/system under study, which it does by (a) identifying and forecasting major and minor clusters/trends; (b) visualizing their complex causality; and (c) simulating scenarios for potential interventions. COMPLEX-IT is accessible through the web or can be run locally and is powered by R and the Shiny web framework.


title: MAB-Malware: A Reinforcement Learning Framework for Attacking Static Malware Classifiers

abstract: Modern commercial antivirus systems increasingly rely on machine learning to keep up with the rampant inflation of new malware. However, it is well-known that machine learning models are vulnerable to adversarial examples (AEs). Previous works have shown that ML malware classifiers are fragile to the white-box adversarial attacks. However, ML models used in commercial antivirus products are usually not available to attackers and only return hard classification labels. Therefore, it is more practical to evaluate the robustness of ML models and real-world AVs in a pure black-box manner. We propose a black-box Reinforcement Learning (RL) based framework to generate AEs for PE malware classifiers and AV engines. It regards the adversarial attack problem as a multi-armed bandit problem, which finds an optimal balance between exploiting the successful patterns and exploring more varieties. Compared to other frameworks, our improvements lie in three points. 1) Limiting the exploration space by modeling the generation process as a stateless process to avoid combination explosions. 2) Due to the critical role of payload in AE generation, we design to reuse the successful payload in modeling. 3) Minimizing the changes on AE samples to correctly assign the rewards in RL learning. It also helps identify the root cause of evasions. As a result, our framework has much higher black-box evasion rates than other off-the-shelf frameworks. Results show it has over 74\%--97\% evasion rate for two state-of-the-art ML detectors and over 32\%--48\% evasion rate for commercial AVs in a pure black-box setting. We also demonstrate that the transferability of adversarial attacks among ML-based classifiers is higher than the attack transferability between purely ML-based and commercial AVs.


title: A link between gramian based model order reduction and moment matching

abstract: We analyze a family of Runge-Kutta based quadrature algorithms for the approximation of the gramians of linear time invariant dynamical systems. The approximated gramians are used to obtain an approximate balancing transformation similar to the approach used in balanced POD. It is shown that hereby rational interpolation is performed, as the approximants span certain Krylov subspaces. The expansion points are mainly determined by the time step sizes and the eigenvalues of the matrices given by the Butcher tableaus.


title: g-tensor resonance in double quantum dots with site-dependent g-tensors

abstract: Pauli spin blockade (PSB) has long been an important tool for spin read-out in double quantum dot (DQD) systems with interdot tunneling $t$. In this paper we show that the blockade is lifted if the two dots experience distinct effective magnetic fields caused by site-dependent g-tensors $g_L$ and $g_R$ for the left and right dot, and that this effect can be more pronounced than the leakage current due to the spin-orbit interaction (SOI) via spin-flip tunneling and the hyperfine interaction (HFI) of the electron spin with the host nuclear spins. Using analytical results obtained in special parameter regimes, we show that information about both the out-of-plane and in-plane g-factors of the dots can be inferred from characteristic features of the magneto-transport curve. For a symmetric DQD, we predict a pronounced maximum in the leakage current at the characteristic out-of-plane magnetic field $B^* = t/ \mu_B \sqrt{g_z^L g_z^R}$ which we term the g-tensor resonance of the system. Moreover, we extend the results to contain the effects of strong SOI and argue that in this more general case the leakage current carries information about the g-tensor components and SOI of the system.


title: Dynamics of Hard Colloidal Cuboids in Nematic Liquid Crystals

abstract: We perform Dynamic Monte Carlo simulations to investigate the equilibrium dynamics of hard colloidal cuboids in oblate and prolate nematic liquid crystals. In particular, we characterise the particles' diffusion along the nematic director and perpendicularly to it, and observe a structural relaxation decay that strongly depend on the particle anisotropy. To assess the Gaussianity of their dynamics and eventual occurrence of collective motion, we calculate two- and four-point correlation functions that incorporate the instantaneous values of the diffusion coefficients parallel and perpendicular to the nematic director. Our simulation results highlight the occurrence of Fickian and Gaussian dynamics at short and long times, locate the minimum diffusivity at the self-dual shape, the particle geometry that would preferentially stabilise biaxial nematics, and exclude the existence of dynamically correlated particles.


title: The linearization methods as a basis to derive the relaxation and the shooting methods

abstract: This chapter investigates numerical solution of nonlinear two-point boundary value problems. It establishes a connection between three important, seemingly unrelated, classes of iterative methods, namely: the linearization methods, the relaxation methods (finite difference methods), and the shooting methods. It has recently been demonstrated that using finite differences to discretize the sequence of linear problems obtained by quasi-linearization, Picard linearization, or constant-slope linearization, leads to the usual iteration formula of the respective relaxation method. Thus, the linearization methods can be used as a basis to derive the relaxation methods. In this work we demonstrate that the shooting methods can be derived from the linearization methods, too. We show that relaxing a shooting trajectory, i.e. an initial value problem solution, is in fact a projection transformation. The obtained function, called projection trajectory, can be used to correct the initial condition. Using the new initial condition, we can find a new shooting trajectory, and so on. The described procedure is called shooting-projection iteration (SPI). We show that using the quasi-linearization equation to relax (project) the shooting trajectory leads to the usual shooting by Newton method, the constant-slope linearization leads to the usual shooting by constant-slope method, while the Picard linearization leads to the recently proposed shooting-projection method. Therefore, the latter method can rightfully be called shooting by Picard method. A possible application of the new theoretical results is suggested and numerical computer experiments are presented. MATLAB codes are provided.


title: Joint Power Control and Passive Beamforming in IRS-Assisted Spectrum Sharing

abstract: In cognitive radio (CR) communication systems, achieving high secondary user (SU) rate in the presence of strong cross-link interference with the primary user (PU) is challenging. In this letter, we exploit the emerging intelligent reflecting surface (IRS) technology to tackle this problem. Specifically, we investigate an IRS-assisted CR communication system where an IRS is deployed to assist in the spectrum sharing between a PU link and an SU link. We aim to maximize the achievable SU rate subject to a given signal-to-interference-plus-noise ratio target for the PU link, by jointly optimizing the SU transmit power and IRS reflect beamforming. Since the formulated problem is difficult to solve due to its non-convexity and coupled variables, we propose an efficient algorithm based on alternating optimization and successive convex approximation techniques to solve it sub-optimally, along with some heuristic designs for lower complexity. Simulation results show that IRS is able to significantly improve the SU rate, even for the scenarios deemed most challenging in conventional CR systems without using IRS.


title: Sensitive Data Detection and Classification in Spanish Clinical Text: Experiments with BERT

abstract: Massive digital data processing provides a wide range of opportunities and benefits, but at the cost of endangering personal data privacy. Anonymisation consists in removing or replacing sensitive information from data, enabling its exploitation for different purposes while preserving the privacy of individuals. Over the years, a lot of automatic anonymisation systems have been proposed; however, depending on the type of data, the target language or the availability of training documents, the task remains challenging still. The emergence of novel deep-learning models during the last two years has brought large improvements to the state of the art in the field of Natural Language Processing. These advancements have been most noticeably led by BERT, a model proposed by Google in 2018, and the shared language models pre-trained on millions of documents. In this paper, we use a BERT-based sequence labelling model to conduct a series of anonymisation experiments on several clinical datasets in Spanish. We also compare BERT to other algorithms. The experiments show that a simple BERT-based model with general-domain pre-training obtains highly competitive results without any domain specific feature engineering.


title: Show, Edit and Tell: A Framework for Editing Image Captions

abstract: Most image captioning frameworks generate captions directly from images, learning a mapping from visual features to natural language. However, editing existing captions can be easier than generating new ones from scratch. Intuitively, when editing captions, a model is not required to learn information that is already present in the caption (i.e. sentence structure), enabling it to focus on fixing details (e.g. replacing repetitive words). This paper proposes a novel approach to image captioning based on iterative adaptive refinement of an existing caption. Specifically, our caption-editing model consisting of two sub-modules: (1) EditNet, a language module with an adaptive copy mechanism (Copy-LSTM) and a Selective Copy Memory Attention mechanism (SCMA), and (2) DCNet, an LSTM-based denoising auto-encoder. These components enable our model to directly copy from and modify existing captions. Experiments demonstrate that our new approach achieves state-of-art performance on the MS COCO dataset both with and without sequence-level training.


title: Algorithms for the rainbow vertex coloring problem on graph classes

abstract: Given a vertex-colored graph, we say a path is a rainbow vertex path if all its internal vertices have distinct colors. The graph is rainbow vertex-connected if there is a rainbow vertex path between every pair of its vertices. In the Rainbow Vertex Coloring (RVC) problem we want to decide whether the vertices of a given graph can be colored with at most $k$ colors so that the graph becomes rainbow vertex-connected. This problem is known to be NP-complete even in very restricted scenarios, and very few efficient algorithms are known for it. In this work, we give polynomial-time algorithms for RVC on permutation graphs, powers of trees and split strongly chordal graphs. The algorithm for the latter class also works for the strong variant of the problem, where the rainbow vertex paths between each vertex pair must be shortest paths. We complement the polynomial-time solvability results for split strongly chordal graphs by showing that, for any fixed $p\geq 3$ both variants of the problem become NP-complete when restricted to split $(S_3,\ldots,S_p)$-free graphs, where $S_q$ denotes the $q$-sun graph.


title: Meta-SVDD: Probabilistic Meta-Learning for One-Class Classification in Cancer Histology Images

abstract: To train a robust deep learning model, one usually needs a balanced set of categories in the training data. The data acquired in a medical domain, however, frequently contains an abundance of healthy patients, versus a small variety of positive, abnormal cases. Moreover, the annotation of a positive sample requires time consuming input from medical domain experts. This scenario would suggest a promise for one-class classification type approaches. In this work we propose a general one-class classification model for histology, that is meta-trained on multiple histology datasets simultaneously, and can be applied to new tasks without expensive re-training. This model could be easily used by pathology domain experts, and potentially be used for screening purposes.


title: Periodic solutions to a perturbed relativistic Kepler problem

abstract: We consider a perturbed relativistic Kepler problem \begin{equation*} \dfrac{\mathrm{d}}{\mathrm{d}t}\left(\dfrac{m\dot{x}}{\sqrt{1-|\dot{x}|^2/c^2}}\right)=-\alpha\, \dfrac{x}{|x|^3}+\varepsilon \, \nabla_x U(t,x), \qquad x \in \mathbb{R}^2 \setminus \{0\}, \end{equation*} where $m, \alpha > 0$, $c$ is the speed of light and $U(t,x)$ is a function $T$-periodic in the first variable. For $\varepsilon > 0$ sufficiently small, we prove the existence of $T$-periodic solutions with prescribed winding number, bifurcating from invariant tori of the unperturbed problem.


title: Universal Behaviour of Settling and spreading of particle clusters in quiescent fluids in confined vessels

abstract: Here we report experiments on particle cluster settling at high Reynolds number in quiescent fluid contained in a vessel. The particles were observed to settle in a near-circular shape irrespective of the shape of the vessel cross-section and particle shape, size, and types. Effect of different parameters such as mass, type and aspect ratio of the particles, height, and viscosity of liquid was investigated. Formation of the hemispherical bottom cap of the cluster that bounces upon hitting the vessel bottom surface was found to be responsible for the final circular shape of the settled structure. Particle leakage from the cluster was seen in the form of a tail. In the liquid having viscosity beyond 100 cP, cluster breakage was observed that resulted in hindered settling and asymmetric shapes of finally settled particles. The observations are useful to understand the overall area over which settling of such clusters can be observed.


title: Bounds on the entanglement entropy by the number entropy in non-interacting fermionic systems

abstract: Entanglement in a pure state of a many-body system can be characterized by the R\'enyi entropies $S^{(\alpha)}=\ln\textrm{tr}(\rho^\alpha)/(1-\alpha)$ of the reduced density matrix $\rho$ of a subsystem. These entropies are, however, difficult to access experimentally and can typically be determined for small systems only. Here we show that for free fermionic systems in a Gaussian state and with particle number conservation, $\ln S^{(2)}$ can be tightly bound by the much easier accessible R\'enyi number entropy $S^{(2)}_N=-\ln \sum_n p^2(n)$ which is a function of the probability distribution $p(n)$ of the total particle number in the considered subsystem only. A dynamical growth in entanglement, in particular, is therefore always accompanied by a growth---albeit logarithmically slower---of the number entropy. We illustrate this relation by presenting numerical results for quenches in non-interacting one-dimensional lattice models including disorder-free, Anderson-localized, and critical systems with off-diagonal disorder.

categories: cond-mat.dis-nn cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el


title: Pixel-Level Self-Paced Learning for Super-Resolution

abstract: Recently, lots of deep networks are proposed to improve the quality of predicted super-resolution (SR) images, due to its widespread use in several image-based fields. However, with these networks being constructed deeper and deeper, they also cost much longer time for training, which may guide the learners to local optimization. To tackle this problem, this paper designs a training strategy named Pixel-level Self-Paced Learning (PSPL) to accelerate the convergence velocity of SISR models. PSPL imitating self-paced learning gives each pixel in the predicted SR image and its corresponding pixel in ground truth an attention weight, to guide the model to a better region in parameter space. Extensive experiments proved that PSPL could speed up the training of SISR models, and prompt several existing models to obtain new better results. Furthermore, the source code is available at https://github.com/Elin24/PSPL.


title: A semi-discrete scheme derived from variational principles for global conservative solutions of a Camassa-Holm system

abstract: We define a kinetic and a potential energy such that the principle of stationary action from Lagrangian mechanics yields a Camassa--Holm system (2CH) as the governing equations. After discretizing these energies, we use the same variational principle to derive a semi-discrete system of equations as an approximation of the 2CH system. The discretizaton is only available in Lagrangian coordinates and requires the inversion of a discrete Sturm--Liouville operator with time-varying coefficients. We show the existence of fundamental solutions for this operator at initial time with appropriate decay. By propagating the fundamental solutions in time, we define an equivalent semi-discrete system for which we prove that there exists unique global solutions. Finally, we show how the solutions of the semi-discrete system can be used to construct a sequence of functions converging to the conservative solution of the 2CH system.


title: Bulk self-assembly of giant, unilamellar vesicles

abstract: The desire to create cell-like models for fundamental science and applications has spurred extensive effort towards creating giant unilamellar vesicles (GUVs). However, a route to selectively self-assemble GUVs in bulk has remained elusive. In bulk solution, membrane-forming molecules such as phospholipids, single-tailed surfactants, and block copolymers typically self-assemble into multilamellar, onion-like structures. So although self-assembly processes can form nanoscale unilamellar vesicles, scaffolding by droplets or surfaces is required to create GUVs. Here we show that surprisingly, it is possible to bulk self-assemble cell-sized GUVs with almost complete selectivity over other vesicle topologies. The seemingly paradoxical pair of features that enables this appears to be having very dynamic molecules at the nanoscale, that create unusually rigid membranes. The resultant self-assembly pathway enables encapsulation of molecules and colloids, and can also generate model primitive cells that can grow and divide.


title: Linking studies of tiny meteoroids, zodiacal dust, cometary dust and circumstellar disks

abstract: Tiny meteoroids entering the Earth's atmosphere and inducing meteor showers have long been thought to originate partly from cometary dust. Together with other dust particles, they form a huge cloud around the Sun, the zodiacal cloud. From our previous studies of the zodiacal light, as well as other independent methods (dynamical studies, infrared observations, data related to Earth's environment), it is now established that a significant fraction of dust particles entering the Earth's atmosphere comes from Jupiter-family comets (JFCs). This paper relies on our understanding of key properties of the zodiacal cloud and of comet 67P/Churyumov-Gerasimenko, extensively studied by the Rosetta mission to a JFC. The interpretation, through numerical and experimental simulations of zodiacal light local polarimetric phase curves, has recently allowed us to establish that interplanetary dust is rich in absorbing organics and consists of fluffy particles. The ground-truth provided by Rosetta presently establishes that the cometary dust particles are rich in organic compounds and consist of quite fluffy and irregular aggregates. Our aims are as follows: (1) to make links, back in time, between peculiar micrometeorites, tiny meteoroids, interplanetary dust particles, cometary dust particles, and the early evolution of the Solar System, and (2) to show how detailed studies of such meteoroids and of cometary dust particles can improve the interpretation of observations of dust in protoplanetary and debris disks. Future modeling of dust in such disks should favor irregular porous particles instead of more conventional compact spherical particles.


title: Superconducting properties of the hole-doped three-band \emph{d-p} model studied with minimal-size real-space \emph{d}-wave pairing operators

abstract: The three-band \emph{d-p} model is investigated by means of Variational Monte-Carlo (VMC) method with the BCS-like wave-function supplemented by the Gutzwiller and Jastrow correlators. The VMC optimization leads to $d$-$wave$ superconducting state with a characteristic dome-like shape of the order parameter for hole doping $\delta \lesssim 0.4$, in a good agreement with the experimental observations. Also, the off-diagonal pair-pair correlation functions, calculated within VMC, vindicates the results obtained very recently within the diagrammatic expansion of the Gutzwiller wave function method (DE-GWF) [cf. Phys. Rev. B \textbf{99}, 104511 (2019)]. Subsequently, the nature of the $d$-$wave$ pairing is investigated by means of recently proposed \emph{minimal-size real-space d-wave pairing operators} [Phys. Rev. B \textbf{100}, 214502 (2019)]. An emergence of the long-range superconducting ordering for both $d$ and $p$ orbitals is reported by analysing the corresponding off-diagonal pair-pair correlation functions. The dominant character of \emph{d-wave} pairing on $d$ orbitals is confirmed. Additionally, the trial wave-function is used to investigate the magnetic properties of the system. The analysis of spin-spin correlation functions is carried out and shows antiferromagnetic $\mathbf{q}=(\pi,\pi)$, short-range order, as expected. For the sake of completeness, the charge gap has been estimated, which for the parent compound takes the value $\Delta_{CG}\approx1.78\pm0.51\text{ eV}$, and agrees with values reported experimentally for the cuprates.


title: Evolved Neuromorphic Control for High Speed Divergence-based Landings of MAVs

abstract: Flying insects are capable of vision-based navigation in cluttered environments, reliably avoiding obstacles through fast and agile maneuvers, while being very efficient in the processing of visual stimuli. Meanwhile, autonomous micro air vehicles still lag far behind their biological counterparts, displaying inferior performance at a much higher energy consumption. In light of this, we want to mimic flying insects in terms of their processing capabilities, and consequently show the efficiency of this approach in the real world. This letter does so through evolving spiking neural networks for controlling landings of micro air vehicles using optical flow divergence from a downward-looking camera. We demonstrate that the resulting neuromorphic controllers transfer robustly from a highly abstracted simulation to the real world, performing fast and safe landings while keeping network spike rate minimal. Furthermore, we provide insight into the resources required for successfully solving the problem of divergence-based landing, showing that high-resolution control can be learned with only a single spiking neuron. To the best of our knowledge, this work is the first to integrate spiking neural networks in the control loop of a real-world flying robot. Videos of the experiments can be found at https://bit.ly/neuro-controller .