title: Finite-Sample Average Bid Auction

abstract: The paper studies the problem of auction design in a setting where the auctioneer accesses the knowledge of the valuation distribution only through statistical samples. A new framework is established that combines the statistical decision theory with mechanism design. Two optimality criteria, maxmin, and equivariance, are studied along with their implications on the form of auctions. The simplest form of the equivariant auction is the average bid auction, which set individual reservation prices proportional to the average of other bids and historical samples. This form of auction can be motivated by the Gamma distribution, and it sheds new light on the estimation of the optimal price, an irregular parameter. Theoretical results show that it is often possible to use the regular parameter population mean to approximate the optimal price. An adaptive average bid estimator is developed under this idea, and it has the same asymptotic properties as the empirical Myerson estimator. The new proposed estimator has a significantly better performance in terms of value at risk and expected shortfall when the sample size is small.


title: Mapping the Galactic disk with the LAMOST and $Gaia$ Red clump sample: V: On the origin of the "young" [$\alpha$/Fe]-enhanced stars

abstract: Using a sample of nearly 140,000 primary red clump stars selected from the LAMOST and $Gaia$ surveys, we have identified a large sample of "young" [$\alpha$/Fe]-enhanced stars with stellar ages younger than 6.0 Gyr and [$\alpha$/Fe] ratios greater than 0.15 dex. The stellar ages and [$\alpha$/Fe] ratios are measured from LAMOST spectra, using a machine learning method trained with common stars in the LAMOST-APOGEE fields (for [$\alpha$/Fe]) and in the LAMOST-$Kepler$ fields (for stellar age). The existence of these "young" [$\alpha$/Fe]-enhanced stars is not expected from the classical Galactic chemical evolution models. To explore their possible origins, we have analyzed the spatial distribution, and the chemical and kinematic properties of those stars and compared the results with those of the chemically thin and thick disk populations. We find that those "young" [$\alpha$/Fe]-enhanced stars have distributions in number density, metallicity, [C/N] abundance ratio, velocity dispersion and orbital eccentricity that are essentially the same as those of the chemically thick disk population. Our results clearly show those so-called "young" [$\alpha$/Fe]-enhanced stars are not really young but $genuinely$ $old$. Although other alternative explanations can not be fully ruled out, our results suggest that the most possible origin of these old stars is the result of stellar mergers or mass transfer.


title: Metavalent bonding in crystalline solids: how does it collapse?

abstract: The chemical bond is one of the most powerful, yet controversial concepts in chemistry, explaining property trends in solids. Recently, a novel type of chemical bonding has been identified in several higher chalcogenides, characterized by a unique property portfolio, unconventional bond breaking and sharing of about one electron between adjacent atoms. Metavalent bonding is a fundamental type of bonding besides covalent, ionic and metallic bonding, raising the pertinent question, if there is a well-defined transition between metavalent and covalent bonding. For three different pseudo-binary lines, namely GeTe1-xSex, Sb2Te3(1-x)Se3x and Bi2-2xSb2xSe3, a sudden drop in several properties, including the optical dielectric constant, the Born effective charge, the electrical conductivity as well as the bond breaking is observed once a critical Se or Sb concentration is reached. This finding provides a blueprint to explore the impact of metavalent bonding on attractive properties utilized in phase change materials and thermoelectrics.


title: Liouville results and asymptotics of solutions of a quasilinear elliptic equation with supercritical source gradient term

abstract: We consider the elliptic quasilinear equation --$\Delta$ m u = u p |$\nabla$u| q in R N with q $\ge$ m and p > 0, 1 < m < N. Our main result is a Liouville-type property, namely, all the positive C 1 solutions in R N are constant. We also give their asymptotic behaviour : all the solutions in an exterior domain R N \B r0 are bounded. The solutions in B r0 \ {0} can be extended as a continuous functions in B r0. The solutions in R N \ {0} has a finite limit l $\ge$ 0 as |x| $\rightarrow$ $\infty$. Our main argument is a Bernstein estimate of the gradient of a power of the solution, combined with a precise Osserman's type estimate for the equation satisfied by the gradient.


title: Generation of optical Schr\"odinger cat states in intense laser-matter interactions

abstract: The physics of intense laser-matter interactions is described by treating the light pulses classically, anticipating no need to access optical measurements beyond the classical limit. However, the quantum nature of the electromagnetic fields is always present. Here, we demonstrate that intense laser-atom interactions may lead to the generation of highly non-classical light states. This was achieved by using the process of high-harmonic generation in atoms, in which the photons of a driving laser pulse of infrared frequency are up-converted into photons of higher frequencies in the extreme ultraviolet spectral range. The quantum state of the fundamental mode after the interaction, when conditioned on the high-harmonic generation, is a so-called Schr\"odinger cat state, which corresponds to a superposition of two distinct coherent states: the initial state of the laser and the coherent state reduced in amplitude that results from the interaction with atoms. The results open the path for investigations towards the control of the non-classical states, exploiting conditioning approaches on physical processes relevant to high-harmonic generation.


title: Non-Lipschitz uniform domain shape optimization in linear acoustics

abstract: We introduce new parametrized classes of shape admissible domains in R^n , n $\ge$ 2, and prove that they are compact with respect to the convergence in the sense of characteristic functions, the Hausdorff sense, the sense of compacts and the weak convergence of their boundary volumes. The domains in these classes are bounded ($\epsilon$, $\infty$)-domains with possibly fractal boundaries that can have parts of any non-uniform Hausdorff dimension greater or equal to n -- 1 and less than n. We prove the existence of optimal shapes in such classes for maximum energy dissipation in the framework of linear acous-tics. A by-product of our proof is the result that the class of bounded ($\epsilon$, $\infty$)-domains with fixed $\epsilon$ is stable under Hausdorff convergence. An additional and related result is the Mosco convergence of Robin-type energy functionals on converging domains.


title: An Optimal Separation of Randomized and Quantum Query Complexity

abstract: We prove that for every decision tree, the absolute values of the Fourier coefficients of a given order $\ell\geq1$ sum to at most $c^{\ell}\sqrt{\binom{d}{\ell}(1+\log n)^{\ell-1}},$ where $n$ is the number of variables, $d$ is the tree depth, and $c>0$ is an absolute constant. This bound is essentially tight and settles a conjecture due to Tal (arxiv 2019; FOCS 2020). The bounds prior to our work degraded rapidly with $\ell,$ becoming trivial already at $\ell=\sqrt{d}.$ As an application, we obtain, for every integer $k\geq1,$ a partial Boolean function on $n$ bits that has bounded-error quantum query complexity at most $k$ and randomized query complexity $\tilde{\Omega}(n^{1-\frac{1}{2k}}).$ This separation of bounded-error quantum versus randomized query complexity is best possible, by the results of Aaronson and Ambainis (STOC 2015) and Bravyi, Gosset, Grier, and Schaeffer (2021). Prior to our work, the best known separation was polynomially weaker: $O(1)$ versus $\Omega(n^{2/3-\epsilon})$ for any $\epsilon>0$ (Tal, FOCS 2020). As another application, we obtain an essentially optimal separation of $O(\log n)$ versus $\Omega(n^{1-\epsilon})$ for bounded-error quantum versus randomized communication complexity, for any $\epsilon>0.$ The best previous separation was polynomially weaker: $O(\log n)$ versus $\Omega(n^{2/3-\epsilon})$ (implicit in Tal, FOCS 2020).


title: Variable Compliance Control for Robotic Peg-in-Hole Assembly: A Deep Reinforcement Learning Approach

abstract: Industrial robot manipulators are playing a more significant role in modern manufacturing industries. Though peg-in-hole assembly is a common industrial task which has been extensively researched, safely solving complex high precision assembly in an unstructured environment remains an open problem. Reinforcement Learning (RL) methods have been proven successful in solving manipulation tasks autonomously. However, RL is still not widely adopted on real robotic systems because working with real hardware entails additional challenges, especially when using position-controlled manipulators. The main contribution of this work is a learning-based method to solve peg-in-hole tasks with position uncertainty of the hole. We proposed the use of an off-policy model-free reinforcement learning method and bootstrap the training speed by using several transfer learning techniques (sim2real) and domain randomization. Our proposed learning framework for position-controlled robots was extensively evaluated on contact-rich insertion tasks on a variety of environments.


title: Trees with minimum number of infima closed sets

abstract: Let $T$ be a rooted tree, and $V(T)$ its set of vertices. A subset $X$ of $V(T)$ is called an infima closed set of $T$ if for any two vertices $u,v\in X$, the first common ancestor of $u$ and $v$ is also in $X$. This paper determines the trees with minimum number of infima closed sets among all rooted trees of given order, thereby answering a question of Klazar. It is shown that these trees are essentially complete binary trees, with the exception of vertices at the last levels. Moreover, an asymptotic estimate for the minimum number of infima closed sets in a tree with $n$ vertices is also provided.


title: Reconstructions of the electron dynamics in magnetic field and the geometry of complex Fermi surfaces

abstract: The paper considers the semiclassical dynamics of electrons on complex Fermi surfaces in the presence of strong magnetic fields. The reconstructions of the general topological structure of such dynamics are accompanied by the appearance of closed extremal trajectories of a special form, closely related to geometry and topology of the Fermi surface. The study of oscillation phenomena on such trajectories allows, in particular, to propose a relatively simple method for refining the parameters of the dispersion relation in metals with complex Fermi surfaces.


title: The higher order fractional Calder\'on problem for linear local operators: uniqueness

abstract: We study an inverse problem for the fractional Schr\"odinger equation (FSE) with a local perturbation by a linear partial differential operator (PDO) of order smaller than the order of the fractional Laplacian. We show that one can uniquely recover the coefficients of the PDO from the Dirichlet-to-Neumann (DN) map associated to the perturbed FSE. This is proved for two classes of coefficients: coefficients which belong to certain spaces of Sobolev multipliers and coefficients which belong to fractional Sobolev spaces with bounded derivatives. Our study generalizes recent results for the zeroth and first order perturbations to higher order perturbations.


title: Smectic-like rheology and pseudo-layer compression elastic constant of a twist-bend nematic liquid crystal

abstract: In twist-bend nematic (N\textsubscript{TB}) liquid crystals (LCs), the mean molecular orientation exhibits heliconical structure with nanoscale periodicity. On the mesoscopic scale, N\textsubscript{TB} resembles layered systems (like smectics), where the helical pitch is equivalent to "pseudo-layers" without a true mass density wave. We study rheological properties of a N\textsubscript{TB} phase and compare the results with those of an usual SmA phase. Analysing the shear response and adapting a simplified physical model for rheology of defect mediated lamellar systems we measure the pseudo-layer compression elastic constant $B_{eff}$ of N\textsubscript{TB} phase from the measurements of dynamic modulus $G^{*}(\omega)$. We find that $B_{eff}$ of the N\textsubscript{TB} phase is in the range of $10^{3}-10^{6}$ Pa and it follows a temperature dependence, $B_{eff}\sim (T_{TB}-T)^{2}$ as predicted by the recent coarse-grained elastic theory. Our results show that the structural rheology of N\textsubscript{TB} is strikingly similar to that of the usual smectic LCs although the temperature dependence of $B_{eff}$ is much faster than smectic LCs as predicted by the coarse-grained models.


title: High degree of chaos synchronization in pairs of transverse modes with parity-symmetric polarizations in a thin-slice solid-state vector laser and application to polarimetric secure self-mixing metrology

abstract: A high degree of chaos synchronization among transverse mode pairs with parity-symmetric polarizations was demonstrated in a laser-diode pumped thin-slice c-cut Nd: GdVO4 laser. The amplitude correlation coefficient greater than R > 0.994 resulted from a non-reversing mirror symmetric-polarization-dependent structural change in the modal patterns, where chaotic dynamics of the whole system consisting of qualitatively different dynamics, which depend on the polarization crossing angle, resembled that of a chaotic single mode laser. A self-organized sender-receiver type of chaos synchronization of a single pair of modes among an infinite number of parity-symmetric polarizations and the associated chaotic camouflaging as well as extracting experiment of a self-mixing solid-state laser Doppler velocimetry signal were demonstrated.


title: Unified Bayesian theory of sparse linear regression with nuisance parameters

abstract: We study frequentist asymptotic properties of Bayesian procedures for high-dimensional Gaussian sparse regression when unknown nuisance parameters are involved. Nuisance parameters can be finite-, high-, or infinite-dimensional. A mixture of point masses at zero and continuous distributions is used for the prior distribution on sparse regression coefficients, and appropriate prior distributions are used for nuisance parameters. The optimal posterior contraction of sparse regression coefficients, hampered by the presence of nuisance parameters, is also examined and discussed. It is shown that the procedure yields strong model selection consistency. A Bernstein-von Mises-type theorem for sparse regression coefficients is also obtained for uncertainty quantification through credible sets with guaranteed frequentist coverage. Asymptotic properties of numerous examples are investigated using the theories developed in this study.


title: Field-Induced Tunneling Ionization and Terahertz-Driven Electron Dynamics in Liquid Water

abstract: Liquid water at ambient temperature displays ultrafast molecular motions and concomitant fluctuations of very strong electric fields originating from the dipolar H2O molecules. We show that such random intermolecular fields induce tunnel ionization of water molecules, which becomes irreversible if an external terahertz (THz) pulse imposes an additional directed electric field on the liquid. Time-resolved nonlinear THz spectroscopy maps charge separation, transport and localization of the released electrons on a few-picosecond time scale. The highly polarizable localized electrons modify the THz absorption spectrum and refractive index of water, a manifestation of a highly nonlinear response. Our results demonstrate how the interplay of local electric field fluctuations and external electric fields allows for steering charge dynamics and dielectric properties in aqueous systems.


title: On the Power Leakage Problem in Millimeter-Wave Massive MIMO with Lens Antenna Arrays

abstract: The emerging millimeter-wave (mmWave) massive multiple-input multiple-output (MIMO) with lens antenna arrays, which is also known as "beamspace MIMO", can effectively reduce the required number of power-hungry radio frequency (RF) chains. Therefore, it has been considered as a promising technique for the upcoming 5G communications and beyond. However, most current studies on beamspace MIMO have not taken into account the important power leakage problem in beamspace channels, which possibly leads to a significant degradation in the signal-to-noise ratio (SNR) and the system sum-rate. To this end, we propose a beam aligning precoding method to handle the power leakage problem in this paper. Firstly, a phase shifter network (PSN) structure is proposed, which enables each RF chain in beamspace MIMO to select multiple beams to collect the leakage power. Then, a rotation-based precoding algorithm is designed based on the proposed PSN structure, which aligns the channel gains of the selected beams towards the same direction for maximizing the received SNR at each user. Furthermore, we reveal some system design insights by analyzing the sum-rate and energy efficiency (EE) of the proposed beam aligning precoding method. In simulations, the proposed approach is found to achieve the near-optimal sum-rate performance compared with the ideal case of no power leakage, and obtains a higher EE than the existing schemes with either a linear or planar array.


title: AMRConvNet: AMR-Coded Speech Enhancement Using Convolutional Neural Networks

abstract: Speech is converted to digital signals using speech coding for efficient transmission. However, this often lowers the quality and bandwidth of speech. This paper explores the application of convolutional neural networks for Artificial Bandwidth Expansion (ABE) and speech enhancement on coded speech, particularly Adaptive Multi-Rate (AMR) used in 2G cellular phone calls. In this paper, we introduce AMRConvNet: a convolutional neural network that performs ABE and speech enhancement on speech encoded with AMR. The model operates directly on the time-domain for both input and output speech but optimizes using combined time-domain reconstruction loss and frequency-domain perceptual loss. AMRConvNet resulted in an average improvement of 0.425 Mean Opinion Score - Listening Quality Objective (MOS-LQO) points for AMR bitrate of 4.75k, and 0.073 MOS-LQO points for AMR bitrate of 12.2k. AMRConvNet also showed robustness in AMR bitrate inputs. Finally, an ablation test showed that our combined time-domain and frequency-domain loss leads to slightly higher MOS-LQO and faster training convergence than using either loss alone.


title: Different types of photon entanglement from a constantly driven quantum emitter inside a cavity

abstract: Bell states are the most prominent maximally entangled photon states. In a typical four-level emitter, like a semiconductor quantum dot, the photon states exhibit only one type of Bell state entanglement. By adding an external driving to the emitter system, also other types of Bell state entanglement are reachable without changing the polarization basis. In this paper, we show under which conditions the different types of entanglement occur and give analytical equations to explain these findings. We further identify special points, where the concurrence, being a measure for the degree of entanglement, drops to zero, while the coherences between the two-photon states stay strong. Results of this work pave the way to achieve a controlled manipulation of the entanglement type in practical devices.


title: A characterization of the Razak-Jacelon algebra

abstract: Combining Elliott, Gong, Lin and Niu's result and Castillejos and Evington's result, we see that if $A$ is a simple separable nuclear monotracial C$^*$-algebra, then $A\otimes\mathcal{W}$ is isomorphic to $\mathcal{W}$ where $\mathcal{W}$ is the Razak-Jacelon algebra. In this paper, we give another proof of this. In particular, we show that if $\mathcal{D}$ is a simple separable nuclear monotracial $M_{2^{\infty}}$-stable C$^*$-algebra which is $KK$-equivalent to $\{0\}$, then $\mathcal{D}$ is isomorphic to $\mathcal{W}$ without considering tracial approximations of C$^*$-algebras with finite nuclear dimension. Our proof is based on Matui and Sato's technique, Schafhauser's idea in his proof of the Tikuisis-White-Winter theorem and properties of Kirchberg's central sequence C$^*$-algebra $F(\mathcal{D})$ of $\mathcal{D}$. Note that some results for $F(\mathcal{D})$ are based on Elliott-Gong-Lin-Niu's stable uniqueness theorem. Also, we characterize $\mathcal{W}$ by using properties of $F(\mathcal{W})$. Indeed, we show that a simple separable nuclear monotracial C$^*$-algebra $D$ is isomorphic to $\mathcal{W}$ if and only if $D$ satisfies the following properties: (i) for any $\theta\in [0,1]$, there exists a projection $p$ in $F(D)$ such that $\tau_{D, \omega}(p)=\theta$, (ii) if $p$ and $q$ are projections in $F(D)$ such that $0<\tau_{D, \omega}(p)=\tau_{D, \omega}(q)$, then $p$ is Murray-von Neumann equivalent to $q$, (iii) there exists an injective homomorphism from $D$ to $\mathcal{W}$.


title: Strawberry Detection using Mixed Training on Simulated and Real Data

abstract: This paper demonstrates how simulated images can be useful for object detection tasks in the agricultural sector, where labeled data can be scarce and costly to collect. We consider training on mixed datasets with real and simulated data for strawberry detection in real images. Our results show that using the real dataset augmented by the simulated dataset resulted in slightly higher accuracy.


title: Negative cosmological constant in the dark sector?

abstract: We consider the possibility that the dark sector of our Universe contains a negative cosmological constant dubbed $\lambda$. For such models to be viable, the dark sector should contain an additional component responsible for the late-time accelerated expansion rate ($X$). We explore the departure of the expansion history of these models from the concordance $\Lambda$ Cold Dark Matter model. For a large class of our models the accelerated expansion is transient with a nontrivial dependence on the model parameters. All models with $w_X>-1$ will eventually contract and we derive an analytical expression for the scale factor $a(t)$ in the neighborhood of its maximal value. We find also the scale factor for models ending in a Big Rip in the regime where dustlike matter density is negligible compared to $\lambda$. We address further the viability of such models, in particular when a high $H_0$ is taken into account. While we find no decisive evidence for a nonzero $\lambda$, the best models are obtained with a phantom behavior on redshifts $z\gtrsim 1$ with a higher evidence for nonzero $\lambda$. An observed value for $h$ substantially higher than $0.70$ would be a decisive test of their viability.


title: VLANet: Video-Language Alignment Network for Weakly-Supervised Video Moment Retrieval

abstract: Video Moment Retrieval (VMR) is a task to localize the temporal moment in untrimmed video specified by natural language query. For VMR, several methods that require full supervision for training have been proposed. Unfortunately, acquiring a large number of training videos with labeled temporal boundaries for each query is a labor-intensive process. This paper explores methods for performing VMR in a weakly-supervised manner (wVMR): training is performed without temporal moment labels but only with the text query that describes a segment of the video. Existing methods on wVMR generate multi-scale proposals and apply query-guided attention mechanisms to highlight the most relevant proposal. To leverage the weak supervision, contrastive learning is used which predicts higher scores for the correct video-query pairs than for the incorrect pairs. It has been observed that a large number of candidate proposals, coarse query representation, and one-way attention mechanism lead to blurry attention maps which limit the localization performance. To handle this issue, Video-Language Alignment Network (VLANet) is proposed that learns sharper attention by pruning out spurious candidate proposals and applying a multi-directional attention mechanism with fine-grained query representation. The Surrogate Proposal Selection module selects a proposal based on the proximity to the query in the joint embedding space, and thus substantially reduces candidate proposals which leads to lower computation load and sharper attention. Next, the Cascaded Cross-modal Attention module considers dense feature interactions and multi-directional attention flow to learn the multi-modal alignment. VLANet is trained end-to-end using contrastive loss which enforces semantically similar videos and queries to gather. The experiments show that the method achieves state-of-the-art performance on Charades-STA and DiDeMo datasets.


title: Managing connected and automated vehicles with flexible routing at "lane-allocation-free'' intersections

abstract: Trajectory planning and coordination for connected and automated vehicles (CAVs) have been studied at isolated ``signal-free'' intersections and in ``signal-free'' corridors under the fully CAV environment in the literature. Most of the existing studies are based on the definition of approaching and exit lanes. The route a vehicle takes to pass through an intersection is determined from its movement. That is, only the origin and destination arms are included. This study proposes a mixed-integer linear programming (MILP) model to optimize vehicle trajectories at an isolated ``signal-free'' intersection without lane allocation, which is denoted as ``lane-allocation-free'' (LAF) control. Each lane can be used as both approaching and exit lanes for all vehicle movements including left-turn, through, and right-turn. A vehicle can take a flexible route by way of multiple arms to pass through the intersection. In this way, the spatial-temporal resources are expected to be fully utilized. The interactions between vehicle trajectories are modeled explicitly at the microscopic level. Vehicle routes and trajectories (i.e., car-following and lane-changing behaviors) at the intersection are optimized in one unified framework for system optimality in terms of total vehicle delay. Considering varying traffic conditions, the planning horizon is adaptively adjusted in the implementation procedure of the proposed model to make a balance between solution feasibility and computational burden. Numerical studies validate the advantages of the proposed LAF control in terms of both vehicle delay and throughput with different demand structures and temporal safety gaps.


title: Four-quark states from functional methods

abstract: In this feature article we summarise and highlight aspects of the treatment of four-quark states with functional methods. Model approaches to those exotic mesons almost inevitably have to assume certain internal structures, e.g. by grouping quarks and antiquarks into (anti-)diquark clusters or heavy-light $q\bar{q}$ pairs. Functional methods using Dyson-Schwinger and Bethe-Salpeter equations can be formulated without such prejudice and therefore have the potential to put these assumptions to test and discriminate between such models. So far, functional methods have been used to study the light scalar-meson sector and the heavy-light sector with a pair of charmed and a pair of light quarks in different quantum number channels. For all these states, the dominant components in terms of internal two-body clustering have been identified. It turns out that chiral symmetry breaking plays an important role for the dominant clusters in the light meson sector (in particular for the scalar mesons) and that this property is carried over to the heavy-light sector. Diquark-antidiquark components, on the other hand, turn out to be almost negligible for most states with the exception of open-charm heavy-light exotics.


title: 5D rotating regular Myers-Perry black holes and their shadow

abstract: It is widely believed that the curvature singularities are an artifact of general relativity and may not exist in the Universe, and likely to be defined by the quantum gravity. In the absence of successful quantum gravity, significant attention has been shifted towards the regular models. We present a five-dimensional ($5D$) rotating regular Myers-Perry like black hole metric with two rotation parameters ($a,b$) and a free parameter ($k$). Our $5D$ rotating regular metric encompasses $5D$ Myers-Perry black hole which can be recovered as a special case when $k=0$. The size of the shadow cast by the black holes is significantly smaller and more distorted when the parameter $k$ is increased.


title: When Inverse Propensity Scoring does not Work: Affine Corrections for Unbiased Learning to Rank

abstract: Besides position bias, which has been well-studied, trust bias is another type of bias prevalent in user interactions with rankings: users are more likely to click incorrectly w.r.t. their preferences on highly ranked items because they trust the ranking system. While previous work has observed this behavior in users, we prove that existing Counterfactual Learning to Rank (CLTR) methods do not remove this bias, including methods specifically designed to mitigate this type of bias. Moreover, we prove that Inverse Propensity Scoring (IPS) is principally unable to correct for trust bias under non-trivial circumstances. Our main contribution is a new estimator based on affine corrections: it both reweights clicks and penalizes items displayed on ranks with high trust bias. Our estimator is the first estimator that is proven to remove the effect of both trust bias and position bias. Furthermore, we show that our estimator is a generalization of the existing CLTR framework: if no trust bias is present, it reduces to the original IPS estimator. Our semi-synthetic experiments indicate that by removing the effect of trust bias in addition to position bias, CLTR can approximate the optimal ranking system even closer than previously possible.


title: Numerical analysis of LG33 second harmonic generation in comparison to the LG00 case

abstract: For coating Brownian thermal noise reduction in future gravitational wave detectors, it is proposed to use light in the helical Laguerre-Gaussian LG33 mode instead of the currently used LG00 mode. However, the simultaneous reduction of quantum noise would then require the efficient generation of squeezed vacuum states in the LG33 mode. Current squeezed light generation techniques employ continuous-wave second harmonic generation (SHG). Here, we simulate the SHG for both modes numerically to derive first insights into the transferability of standard squeezed light generation techniques to the LG33 mode. In the first part of this paper, we therefore theoretically discuss SHG in the case of a single undepleted pump mode, which, in general, excites a superposition of harmonic modes. Based on the differential equation for the harmonic field, we derive individual phase matching conditions and hence conversion efficiencies for the excited harmonic modes. In the second part, we analyse the numerical simulations of the LG00 and LG33 SHG in a single-pass, double-pass and cavity-enhanced configuration under the influence of the focusing, the different pump intensity distributions and the individual phase matching conditions. Our results predict that the LG33 mode requires about 14 times the pump power of the LG00 mode to achieve the same SHG conversion efficiency in an ideal, realistic cavity design and mainly generates the harmonic LG66 mode.


title: A completely annotated whole slide image dataset of canine breast cancer to aid human breast cancer research

abstract: Canine mammary carcinoma (CMC) has been used as a model to investigate the pathogenesis of human breast cancer and the same grading scheme is commonly used to assess tumor malignancy in both. One key component of this grading scheme is the density of mitotic figures (MF). Current publicly available datasets on human breast cancer only provide annotations for small subsets of whole slide images (WSIs). We present a novel dataset of 21 WSIs of CMC completely annotated for MF. For this, a pathologist screened all WSIs for potential MF and structures with a similar appearance. A second expert blindly assigned labels, and for non-matching labels, a third expert assigned the final labels. Additionally, we used machine learning to identify previously undetected MF. Finally, we performed representation learning and two-dimensional projection to further increase the consistency of the annotations. Our dataset consists of 13,907 MF and 36,379 hard negatives. We achieved a mean F1-score of 0.791 on the test set and of up to 0.696 on a human breast cancer dataset.


title: Electron acceleration and radio emission following the early interaction of two coronal mass ejections

abstract: Context. Coronal mass ejections (CMEs) are large eruptions of magnetised plasma from the Sun that are often accompanied by solar radio bursts produced by accelerated electrons. Aims. A powerful source for accelerating electron beams are CME-driven shocks, however, there are other mechanisms capable of accelerating electrons during a CME eruption. So far, studies have relied on the traditional classification of solar radio bursts into five groups (Type I-V) based mainly on their shapes and characteristics in dynamic spectra. Here, we aim to determine the origin of moving radio bursts associated with a CME that do not fit into the present classification of the solar radio emission. Methods. By using radio imaging from the Nan\c{c}ay Radioheliograph, combined with observations from the Solar Dynamics Observatory, Solar and Heliospheric Observatory, and Solar Terrestrial Relations Observatory spacecraft, we investigate the moving radio bursts accompanying two subsequent CMEs on 22 May 2013. We use three-dimensional reconstructions of the two associated CME eruptions to show the possible origin of the observed radio emission. Results. We identified three moving radio bursts at unusually high altitudes in the corona that are located at the northern CME flank and move outwards synchronously with the CME. The radio bursts correspond to fine-structured emission in dynamic spectra with durations of ~1 s, and they may show forward or reverse frequency drifts. Since the CME expands closely following an earlier CME, a low coronal CME-CME interaction is likely responsible for the observed radio emission.


title: Protein escape at the ribosomal exit tunnel: Effect of the tunnel shape

abstract: We study the post-translational escape of nascent proteins at the ribosomal exit tunnel with the consideration of a real shape atomistic tunnel based on the Protein Data Bank (PDB) structure of the large ribosome subunit of archeon Haloarcula marismortui. Molecular dynamics simulations employing the Go-like model for the proteins show that at intermediate and high temperatures, including a presumable physiological temperature, the protein escape process at the atomistic tunnel is quantitatively similar to that at a cylinder tunnel of length L = 72 {\AA} and diameter d = 16 {\AA}. At low temperatures, the atomistic tunnel, however, yields an increased probability of protein trapping inside the tunnel while the cylinder tunnel does not cause the trapping. All-$\beta$ proteins tend to escape faster than all-$\alpha$ proteins but this difference is blurred on increasing the protein's chain length. A 29-residue zinc-finger domain is shown to be severely trapped inside the tunnel. Most of the single-domain proteins considered, however, can escape efficiently at the physiological temperature with the escape time distribution following the diffusion model proposed in our previous works. An extrapolation of the simulation data to a realistic value of the friction coefficient for amino acids indicates that the escape times of globular proteins are at the sub-millisecond scale. It is argued that this time scale is short enough for the smooth functioning of the ribosome by not allowing nascent proteins to jam the ribosome tunnel.


title: Monocular Reconstruction of Neural Face Reflectance Fields

abstract: The reflectance field of a face describes the reflectance properties responsible for complex lighting effects including diffuse, specular, inter-reflection and self shadowing. Most existing methods for estimating the face reflectance from a monocular image assume faces to be diffuse with very few approaches adding a specular component. This still leaves out important perceptual aspects of reflectance as higher-order global illumination effects and self-shadowing are not modeled. We present a new neural representation for face reflectance where we can estimate all components of the reflectance responsible for the final appearance from a single monocular image. Instead of modeling each component of the reflectance separately using parametric models, our neural representation allows us to generate a basis set of faces in a geometric deformation-invariant space, parameterized by the input light direction, viewpoint and face geometry. We learn to reconstruct this reflectance field of a face just from a monocular image, which can be used to render the face from any viewpoint in any light condition. Our method is trained on a light-stage training dataset, which captures 300 people illuminated with 150 light conditions from 8 viewpoints. We show that our method outperforms existing monocular reflectance reconstruction methods, in terms of photorealism due to better capturing of physical premitives, such as sub-surface scattering, specularities, self-shadows and other higher-order effects.


title: Separation of variables in Hamilton-Jacobi equation for a charged test particle in the Stackel spaces of type (2.1)

abstract: Found all equivalence classes for electromagnetic potentials and space-time metrics of Stackel spaces, provided that the equations of motion of the classical charged test particles are integrated by the method of complete separation of variables in the Hamilton-Jacobi equation. Separation is carried out using the complete sets of mutually-commuting integrals of motion of type (2.1), whereby in a privileged coordinate system the Hamilton-Jacobi equation turns into a parabolic type equation.


title: Information Constrained Optimal Transport: From Talagrand, to Marton, to Cover

abstract: The optimal transport problem studies how to transport one measure to another in the most cost-effective way and has wide range of applications from economics to machine learning. In this paper, we introduce and study an information constrained variation of this problem. Our study yields a strengthening and generalization of Talagrand's celebrated transportation cost inequality. Following Marton's approach, we show that the new transportation cost inequality can be used to recover old and new concentration of measure results. Finally, we provide an application of this new inequality to network information theory. We show that it can be used to recover almost immediately a recent solution to a long-standing open problem posed by Cover regarding the capacity of the relay channel.


title: Surface-directed Spinodal Decomposition on Morphologically Patterned Substrates

abstract: This paper is the second in a two-part exposition on {\it surface-directed spinodal decomposition} (SDSD), i.e., the interplay of kinetics of wetting and phase separation at a surface which is wetted by one of the components of a binary mixture. In our first paper [P. Das, P.K. Jaiswal and S. Puri, Phys. Rev. E {\bf 102}, 012803 (2020)], we studied SDSD on chemically heterogeneous and physically flat substrates. In this paper, we study SDSD on a chemically homogeneous but morphologically patterned substrate. Such substrates arise in a vast variety of technological applications. Our goal is to provide a theoretical understanding of SDSD in this context. We present detailed numerical results for domain growth both inside and above the grooves in the substrate. The morphological evolution can be understood in terms of the interference of SDSD waves originating from the different surfaces comprising the substrate.


title: Bounds on Relativistic Deformed Kinematics from the Physics of the Universe Transparency

abstract: We analyze the kinematics of electron-positron production in a photon-photon interaction when one has a modification of the special relativistic kinematics as a power expansion in the inverse of a new high-energy scale. We derive the equation for the threshold energy of this reaction to first order in this expansion, including the effects due to a modification of the energy-momentum conservation equation. In contrast with the Lorentz invariance violation case, a scale of the order of a few TeV is found to be compatible with the observations of very high-energy cosmic gamma rays in the case of a modification compatible with the relativity principle.


title: A graph arising in the Geometry of Numbers

abstract: The parametric geometry of numbers has allowed to visualize the simultaneous approximation properties of a collection of real numbers through the combined graph of the related successive minima functions. Several inequalities among classical exponents of simultaneous approximation can be guessed by a study of these graphs; in particular the so called regular graph is of major importance as it provides an extremal case for some of these inequalities. The aim of this paper is to define and construct an analogue of the regular graph in the case of weighted simultaneous approximation.


title: Out-of-Time-Ordered Correlation in Anisotropic Dicke Model

abstract: Out-of-time-ordered correlation (OTOC) functions have been used as an indicator of quantum chaos in a lot of physical systems. In this work, we computationally demonstrate that zerotemperature OTOC can detect quantum phase transition in anisotropic Dicke model. Phase diagram is given with OTOC. Finite-size effect is studied. Finally, temperature effect is discussed.


title: A Dataset for Evaluating Blood Detection in Hyperspectral Images

abstract: The sensitivity of imaging spectroscopy to haemoglobin derivatives makes it a promising tool for detecting blood. However, due to complexity and high dimensionality of hyperspectral images, the development of hyperspectral blood detection algorithms is challenging. To facilitate their development, we present a new hyperspectral blood detection dataset. This dataset, published in accordance to open access mandate, consist of multiple detection scenarios with varying levels of complexity. It allows to test the performance of Machine Learning methods in relation to different acquisition environments, types of background, age of blood and presence of other blood-like substances. We explored the dataset with blood detection experiments. We used hyperspectral target detection algorithm based on the well-known Matched Filter detector. Our results and their discussion highlight the challenges of blood detection in hyperspectral data and form a reference for further works.


title: Optimal internal boundary control of lane-free automated vehicle traffic

abstract: A recently proposed paradigm for vehicular traffic in the era of CAV (connected and automated vehicles), called TrafficFluid, involves lane-free vehicle movement. Lane-free traffic implies that incremental road widening (narrowing) leads to corresponding incremental increase (decrease) of capacity; and this opens the way for consideration of real-time internal boundary control on highways and arterials, in order to flexibly share the total (both directions) road width and capacity among the two directions in dependence of the bi-directional demand and traffic conditions, so as to maximize the total (two directions) flow efficiency. The problem is formulated as a convex QP (Quadratic Programming) problem that may be solved efficiently, and representative case studies shed light on and demonstrate the features, capabilities and potential of the novel control action.


title: The Zakharov-Kuznetsov equation in high dimensions: Small initial data of critical regularity

abstract: The Zakharov-Kuznetsov equation in spatial dimension $d\geq 5$ is considered. The Cauchy problem is shown to be globally well-posed for small initial data in critical spaces and it is proved that solutions scatter to free solutions as $t \to \pm \infty$. The proof is based on i) novel endpoint non-isotropic Strichartz estimates which are derived from the $(d-1)$-dimensional Schr\"odinger equation, ii) transversal bilinear restriction estimates, and iii) an interpolation argument in critical function spaces. Under an additional radiality assumption, a similar result is obtained in dimension $d=4$.


title: Portfolio Selection under Median and Quantile Maximization

abstract: Although maximizing median and quantiles is intuitively appealing and has an axiomatic foundation, it is difficult to study the optimal portfolio strategy due to the discontinuity and time inconsistency in the objective function. We use the intra-personal equilibrium approach to study the problem. Interestingly, we find that the only viable outcome is from the median maximization, because for other quantiles either the equilibrium does not exist or there is no investment in the risky assets. The median maximization strategy gives a simple explanation to why wealthier people invest more percentage of their wealth in risky assets.


title: Unified trade-off optimization of a three-level quantum refrigerator

abstract: We study the optimal performance of a three-level quantum refrigerator using a trade-off objective function, $\Omega$ function, which represents a compromise between the energy benefits and the energy losses of a thermal device. First, we optimize the performance of our refrigerator by employing a two-parameter optimization scheme and show that the first two-terms in the series expansion of the obtained coefficient of performance (COP) match with those of some classical models of refrigerator. Then, in the high-temperature limit, optimizing with respect to one parameter while constraining the other one, we obtain the lower and upper bounds on the COP for both strong as well as weak (intermediate) matter-field coupling conditions. In the strong matter-field coupling regime, the obtained bounds on the COP exactly match with the bounds already known for some models of classical refrigerators. Further for weak matter-field coupling, we derive some new bounds on the the COP of the refrigerator which lie beyond the range covered by bounds obtained for strong matter-field coupling. Finally, in the parameter regime where both cooling power and $\Omega$ function can be maximized, we compare the cooling power of the quantum refrigerator at maximum $\Omega$ function with the maximum cooling power.


title: Universal Density of Low Frequency States in Amorphous Solids at Finite Temperatures

abstract: It has been established that the low frequency quasi-localized modes of amorphous solids at zero temperature exhibit universal density of states, depending on the frequencies as $D(\omega) \sim \omega^4$. It remains an open question whether this universal law extends to finite temperatures. In this Letter we show that well quenched model glasses at temperatures as high as $T_g/3$ possess the same universal density of states. The only condition required is that {\em average} particle positions stabilize before thermal diffusion destroys the cage structure of the material. The universal density of quasi-localized low frequency modes refers then to vibrations around the thermally averaged configuration of the material.


title: The list-chromatic number and the coloring number of uncountable graphs

abstract: We study the list-chromatic number and the coloring number of graphs, especially uncountable graphs. We show that the coloring number of a graph coincides with its list-chromatic number provided that the diamond principle holds. Under the GCH assumption, we prove the singular compactness theorem for the list-chromatic number. We also investigate reflection principles for the list-chromatic number and the coloring number of graphs.


title: A Complexity Dichotomy in Spatial Reasoning via Ramsey Theory

abstract: Constraint satisfaction problems (CSPs) for first-order reducts of finitely bounded homogeneous structures form a large class of computational problems that might exhibit a complexity dichotomy, P versus NP-complete. A powerful method to obtain polynomial-time tractability results for such CSPs is a certain reduction to polynomial-time tractable finite-domain CSPs defined over k-types, for a sufficiently large k. We give sufficient conditions when this method can be applied and illustrate how to use the general results to prove a new complexity dichotomy for first-order expansions of the basic relations of the well-studied spatial reasoning formalism RCC5. We also classify which of these CSPs can be expressed in Datalog. Our method relies on Ramsey theory; we prove that RCC5 has a Ramsey order expansion.


title: Asymptotic integration theory for $f'' + P(z)f = 0$

abstract: Asymptotic integration theory gives a collection of results which provide a thorough description of the asymptotic growth and zero distribution of solutions of (*) $f''+P(z)f=~0$, where $P(z)$ is a polynomial. These results have been used by several authors to find interesting properties of solutions of (*). That said, many people have remarked that the proofs and discussion concerning asymptotic integration theory that are, for example, in E.~Hille's 1969 book \emph{Lectures on Ordinary Differential Equations} are difficult to follow. The main purpose of this paper is to make this theory more understandable and accessible by giving complete explanations of the reasoning used to prove the theory and by writing full and clear statements of the results. A considerable part of the presentation and explanation of the material is different from that in Hille's book.


title: Two methods to approximate the Koopman operator with a reservoir computer

abstract: The Koopman operator provides a powerful framework for data-driven analysis of dynamical systems. In the last few years, a wealth of numerical methods providing finite-dimensional approximations of the operator have been proposed (e.g. extended dynamic mode decomposition (EDMD) and its variants). While convergence results for EDMD require an infinite number of dictionary elements, recent studies have shown that only few dictionary elements can yield an efficient approximation of the Koopman operator, provided that they are well-chosen through a proper training process. However, this training process typically relies on nonlinear optimization techniques. In this paper, we propose two novel methods based on a reservoir computer to train the dictionary. These methods rely solely on linear convex optimization. We illustrate the efficiency of the method with several numerical examples in the context of data reconstruction, prediction, and computation of the Koopman operator spectrum. These results pave the way to the use of the reservoir computer in the Koopman operator framework.


title: Warm and Cold Dark Matter in Bouncing Universe

abstract: Being free from the initial singularity, bouncing cosmology serves as a promising alternative to inflation. However, the entropy production during the post-bounce phase is still unclear. In this work, we use a newly unveiled DM candidate (EQFIDM), which can directly freeze in thermal equilibrium shortly after bounce, to trace the entropy-producing decay process of residual bouncing field (RBF). Specifically, we present a model-independent formalism to obtain all nine possible types of the entropy-producing decay of RBF within a generic bouncing universe, and show that, due to the entropy productions in different types, the particle mass of this new candidate can range from sub-keV scale to super-TeV scale. With current Lyman-$\alpha$ forest observation on linear matter spectrum, we find that, although four types have been excluded, the rest five types, which suggest warm and cold EQFIDM candidates with effective entropy productions, are accommodated with current observation. Then we illustrate how the nature of RBF can be constrained by current observation and investigate the potential of EQFIDM on alleviating small-scale crisis.


title: Sun-to-Earth Observations and Characteristics of Isolated Earth-Impacting Interplanetary Coronal Mass Ejections During 2008-2014

abstract: A sample of isolated Earth-impacting ICMEs that occurred in the period January 2008 to August 2014 is analysed in order to study in detail the ICME in situ signatures with respect to the type of filament eruption related to the corresponding CME. For Earth-directed CMEs, a kinematical study was performed using the STEREO-A, B COR1 and COR2 coronagraphs and the Heliospheric Imagers HI1. Based on the extrapolated CME kinematics, we identified interacting CMEs, which were excluded from further analysis. Applying this approach, a set of 31 isolated Earth-impacting CMEs was unambiguously identified and related to the in situ measurements recorded by the Wind spacecraft. We classified the events into subsets with respect to the CME source location as well as with respect to the type of the associated filament eruption. Hence, the events are divided into three subsamples: active region (AR) CMEs, disappearing filament (DSF) CMEs, and stealthy CMEs. The related three groups of ICMEs were further divided into two subsets: magnetic obstacle (MO) events (out of which four were stealthy), covering ICMEs that at least partly expose characteristics of flux ropes, and ejecta (EJ) events, not showing such characteristics. In the next step, MO-events were analysed in more detail, considering the magnetic field strengths and the plasma characteristics in three different segments of the ICMEs, defined as the turbulent sheath (TS), the frontal region (FR), and the MO itself. The analysis revealed various well-defined correlations for AR, DSF, and stealthy ICMEs, which we interpreted considering basic physical concepts. Our results support the hypothesis that ICMEs show different signatures depending on the in situ spacecraft trajectory, in terms of apex versus flank hits.


title: Renyi entropy as a measure of cosmic homogeneity

abstract: We propose a method for testing homogeneity in three dimensional spatial distributions using Renyi entropy. We apply the proposed method to data from cosmological N-body simulations and Monte Carlo simulations of homogeneous Poisson point process. We show that the method can effectively characterize the inhomogeneities and identify any transition scale to homogeneity, if present in such distributions. The proposed method can be used to study the cosmic homogeneity in present and future generation galaxy redshift surveys.


title: A Computational Analysis of Real-World DJ Mixes using Mix-To-Track Subsequence Alignment

abstract: A DJ mix is a sequence of music tracks concatenated seamlessly, typically rendered for audiences in a live setting by a DJ on stage. As a DJ mix is produced in a studio or the live version is recorded for music streaming services, computational methods to analyze DJ mixes, for example, extracting track information or understanding DJ techniques, have drawn research interests. Many of previous works are, however, limited to identifying individual tracks in a mix or segmenting it, and the sizes of the datasets are usually small. In this paper, we provide an in-depth analysis of DJ music by aligning a mix to its original music tracks. We set up the subsequence alignment such that the audio features are less sensitive to the tempo or key change of the original track in a mix. This approach provides temporally tight mix-to-track matching from which we can obtain cue-points, transition length, mix segmentation, and musical changes in DJ performance. Using 1,557 mixes from 1001Tracklists including 13,728 tracks and 20,765 transitions, we conduct the proposed analysis and show a wide range of statistics, which may elucidate the creative process of DJ music making.


title: Explainable Disease Classification via weakly-supervised segmentation

abstract: Deep learning based approaches to Computer Aided Diagnosis (CAD) typically pose the problem as an image classification (Normal or Abnormal) problem. These systems achieve high to very high accuracy in specific disease detection for which they are trained but lack in terms of an explanation for the provided decision/classification result. The activation maps which correspond to decisions do not correlate well with regions of interest for specific diseases. This paper examines this problem and proposes an approach which mimics the clinical practice of looking for an evidence prior to diagnosis. A CAD model is learnt using a mixed set of information: class labels for the entire training set of images plus a rough localisation of suspect regions as an extra input for a smaller subset of training images for guiding the learning. The proposed approach is illustrated with detection of diabetic macular edema (DME) from OCT slices. Results of testing on on a large public dataset show that with just a third of images with roughly segmented fluid filled regions, the classification accuracy is on par with state of the art methods while providing a good explanation in the form of anatomically accurate heatmap /region of interest. The proposed solution is then adapted to Breast Cancer detection from mammographic images. Good evaluation results on public datasets underscores the generalisability of the proposed solution.


title: Global solutions in $W_k^{\zeta,p}L^\infty_TL^2_v$ for the Boltzmann equation without cutoff

abstract: The Boltzmann equation without an angular cutoff in a three-dimensional periodic domain is considered. The global-in-time existence of solutions in a function space $ W_k^{\zeta,p}L^\infty_TL^2_v $ with $p>1$ and $\zeta>3(1-\frac{1}{p})$ is established in the perturbation framework and the long-time behavior of solutions is also obtained for both hard and soft potentials. The proof is based on several norm estimates.


title: Impact of severe plastic deformation on the relaxation of glassy and supercooled liquid states of amorphous Pd$_{40}$Ni$_{40}$P$_{20}$

abstract: The impact of severe plastic deformation by high-pressure torsion on the relaxation of the glassy and supercooled liquid states of Pd$_{40}$Ni$_{40}$P$_{20}$ was investigated using a combination of differential scanning calorimetry, low-temperature heat capacity and fluctuation electron microscopy. The changes in the calorimetric signals due to deformation and subsequent heat treatments were analyzed and a correlation between deformation (rejuvenation) and annealing (relaxation) was found in relation to medium-range order (MRO). Moreover, a coupling between the occurrence of an exothermic peak in the supercooled liquid state and specific changes in the MRO types were identified. These findings are comprehended in a potential energy landscape scheme offering a new approach for MRO engineering of glasses.


title: Semantic Labeling of Large-Area Geographic Regions Using Multi-View and Multi-Date Satellite Images and Noisy OSM Training Labels

abstract: We present a novel multi-view training framework and CNN architecture for combining information from multiple overlapping satellite images and noisy training labels derived from OpenStreetMap (OSM) to semantically label buildings and roads across large geographic regions (100 km$^2$). Our approach to multi-view semantic segmentation yields a 4-7% improvement in the per-class IoU scores compared to the traditional approaches that use the views independently of one another. A unique (and, perhaps, surprising) property of our system is that modifications that are added to the tail-end of the CNN for learning from the multi-view data can be discarded at the time of inference with a relatively small penalty in the overall performance. This implies that the benefits of training using multiple views are absorbed by all the layers of the network. Additionally, our approach only adds a small overhead in terms of the GPU-memory consumption even when training with as many as 32 views per scene. The system we present is end-to-end automated, which facilitates comparing the classifiers trained directly on true orthophotos vis-a-vis first training them on the off-nadir images and subsequently translating the predicted labels to geographical coordinates. With no human supervision, our IoU scores for the buildings and roads classes are 0.8 and 0.64 respectively which are better than state-of-the-art approaches that use OSM labels and that are not completely automated.


title: Basepoint-freeness thresholds and higher syzygies on abelian threefolds

abstract: For a polarized abelian variety, Z. Jiang and G. Pareschi introduce an invariant and show that the polarization is basepoint free or projectively normal if the invariant is small. Their result is generalized to higher syzygies by F. Caucci, that is, the polarization satisfies property $(N_p)$ if the invariant is small. In this paper, we study a relation between the invariant and degrees of abelian subvarieties with respect to the polarization. For abelian threefolds, we give an upper bound of the invariant using degrees of abelian subvarieties. In particular, we affirmatively answer some questions on abelian varieties asked by the author, V. Lozovanu and Caucci in the three dimensional case.


title: Inpainting-based Video Compression in FullHD

abstract: Compression methods based on inpainting are an evolving alternative to classical transform-based codecs for still images. Attempts to apply these ideas to video compression are rare, since reaching real-time performance is very challenging. Therefore, current approaches focus on simplified frame-by-frame reconstructions that ignore temporal redundancies. As a remedy, we propose a highly efficient, real-time capable prediction and correction approach that fully relies on partial differential equations (PDEs) in all steps of the codec: Dense variational optic flow fields yield accurate motion-compensated predictions, while homogeneous diffusion inpainting is applied for intra prediction. To compress residuals, we introduce a new highly efficient block-based variant of pseudodifferential inpainting. Our novel architecture outperforms other inpainting-based video codecs in terms of both quality and speed. For the first time in inpainting-based video compression, we can decompress FullHD (1080p) videos in real-time with a fully CPU-based implementation, outperforming previous approaches by roughly one order of magnitude.


title: Understanding the online behavior and risks of children: results of a large-scale national survey on 10-18 year olds

abstract: The Internet has opened up new horizons of knowledge, communication and entertainment in our lives. Through this, young people are presented with a wealth of opportunities and activities that can enhance their skills and empower their knowledge and creativity. However, the online engagement of young people often comes with significant risks, encountered by children accidentally or deliberately. The emergence of new online services at an unprecedented speed and innovation brings the need, internationally, for a constant monitoring and investigation of the rapidly changing landscape and the associated emerging risk factors that could potentially jeopardize children's development, opportunities and lives. The Greek Safer Internet Center conducted two large-scale surveys to understand children's internet engagement, aiming to contribute towards improved child protection policies that could guide the efforts of key stakeholders towards a safer cyberspace. The first survey took place at the end of 2018, with the approval of the Greek Ministry of Education and Religious Affairs, and was conducted online among 14,000 pupils aged 10-18 years from 400 schools spread in five different urban areas of Greece. A follow up survey was realized the following year, among 13,000 students of the same age group from 500 school units in six different prefectures of Greece. To our knowledge, it is the first tie national surveys of such scale are conducted in Greece. The paper presents the analysis of the collected data, and describe the underlined methodology based on which the survey was formulated and conducted according to international standards, around specific thematic areas, namely internet use and online behavior, parental engagement, confidence level of children, digital literacy, social media, and online risks. The results were mainly analysed based on educational level and gender.


title: A Low-rank Method for Parameter-dependent Fluid-structure Interaction Discretizations With Hyperelasticity

abstract: Fluid-structure interaction models are used to study how a material interacts with different fluids at different Reynolds numbers. Examining the same model not only for different fluids but also for different solids allows to optimize the choice of materials for construction even better. A possible answer to this demand is parameter-dependent discretization. Furthermore, low-rank techniques can reduce the complexity needed to compute approximations to parameter-dependent fluid-structure interaction discretizations. Low-rank methods have been applied to parameter-dependent linear fluid-structure interaction discretizations. The linearity of the operators involved allows to translate the resulting equations to a single matrix equation. The solution is approximated by a low-rank method. In this paper, we propose a new method that extends this framework to nonlinear parameter-dependent fluid-structure interaction problems by means of the Newton iteration. The parameter set is split into disjoint subsets. On each subset, the Newton approximation of the problem related to the upper median parameter is computed and serves as initial guess for one Newton step on the whole subset. This Newton step yields a matrix equation whose solution can be approximated by a low-rank method. The resulting method requires a smaller number of Newton steps if compared with a direct approach that applies the Newton iteration to the separate problems consecutively. In the experiments considered, the proposed method allows to compute a low-rank approximation up to twenty times faster than by the direct approach.


title: Electrical activity of fungi: Spikes detection and complexity analysis

abstract: Oyster fungi \emph{Pleurotus djamor} generate actin potential like spikes of electrical potential. The trains of spikes might manifest propagation of growing mycelium in a substrate, transportation of nutrients and metabolites and communication processes in the mycelium network. The spiking activity of the mycelium networks is highly variable compared to neural activity and therefore can not be analysed by standard tools from neuroscience. We propose original techniques for detecting and classifying the spiking activity of fungi. Using these techniques, we analyse the information-theoretic complexity of the fungal electrical activity. The results can pave ways for future research on sensorial fusion and decision making of fungi.


title: Sample-Rank: Weak Multi-Objective Recommendations Using Rejection Sampling

abstract: Online food ordering marketplaces are multi-stakeholder systems where recommendations impact the experience and growth of each participant in the system. A recommender system in this setting has to encapsulate the objectives and constraints of different stakeholders in order to find utility of an item for recommendation. Constrained-optimization based approaches to this problem typically involve complex formulations and have high computational complexity in production settings involving millions of entities. Simplifications and relaxation techniques (for example, scalarization) help but introduce sub-optimality and can be time-consuming due to the amount of tuning needed. In this paper, we introduce a method involving multi-goal sampling followed by ranking for user-relevance (Sample-Rank), to nudge recommendations towards multi-objective (MO) goals of the marketplace. The proposed method's novelty is that it reduces the MO recommendation problem to sampling from a desired multi-goal distribution then using it to build a production-friendly learning-to-rank (LTR) model. In offline experiments we show that we are able to bias recommendations towards MO criteria with acceptable trade-offs in metrics like AUC and NDCG. We also show results from a large-scale online A/B experiment where this approach gave a statistically significant lift of 2.64% in average revenue per order (RPO) (objective #1) with no drop in conversion rate (CR) (objective #2) while holding the average last-mile traversed flat (objective #3), vs. the baseline ranking method. This method also significantly reduces time to model development and deployment in MO settings and allows for trivial extensions to more objectives and other types of LTR models.


title: Manifolds that admit a double disk-bundle decomposition

abstract: Under mild topological restrictions, this article establishes that a smooth, closed, simply connected manifold of dimension at most seven which can be decomposed as the union of two disk bundles must be rationally elliptic. In dimension five, such manifolds are classified up to diffeomorphism, while the same is true in dimension six when either the second Betti number vanishes or the third Betti number is non-trivial.


title: Constraints on General Light Mediators from PandaX-II Electron Recoil Data

abstract: PandaX-II has analyzed their complete data set of the electron recoil energy spectrum and has confirmed the XENON1T (1-7) keV excess, although the excess was also found compatible with the total background. Treating the background as well known, in which case it provides a good fit to the observed spectrum, one can expect stronger constraints on any new physics model with this data. With this motivation, we derive constraints on the new general vector (V), axial-vector (A), scalar (S) and pseudoscalar (P) interactions if any of them contribute to the neutrino-electron elastic scattering. The derived constraints on the couplings at $90\%$ C.L., respectively, are $g_{V^{^{\prime }}} \lesssim 32 \times 10^{-7}$ for the mediator mass ${\lesssim 10}$ keV, $g_{A^{^{\prime }}} \lesssim 34 \times 10^{-7}$ for mass ${\lesssim 10}$ keV, $g_{S}\lesssim 49 \times 10^{-7}$ for mass ${\lesssim 20}$ keV and $g_{P} \lesssim 67 \times 10^{-7}$ for mass ${\lesssim 30}$ keV.


title: Extending Partial Orthogonal Drawings

abstract: We study the planar orthogonal drawing style within the framework of partial representation extension. Let $(G,H,{\Gamma}_H )$ be a partial orthogonal drawing, i.e., G is a graph, $H\subseteq G$ is a subgraph and ${\Gamma}_H$ is a planar orthogonal drawing of H. We show that the existence of an orthogonal drawing ${\Gamma}_G$ of $G$ that extends ${\Gamma}_H$ can be tested in linear time. If such a drawing exists, then there also is one that uses $O(|V(H)|)$ bends per edge. On the other hand, we show that it is NP-complete to find an extension that minimizes the number of bends or has a fixed number of bends per edge.


title: On the algebra of nonlocal symmetries for the 4D Mart\'{\i}nez Alonso-Shabat equation

abstract: We consider the 4D Mart\'{\i}nez Alonso-Shabat equation $u_{ty} = u_z u_{xy} - u_y u_{xz}$ (also referred to as the universal hierarchy equation) and using its known Lax pair construct two infinite-dimensional differential coverings over $\mathcal{E}$. In these coverings, we give a complete description of the Lie algebras of nonlocal symmetries. In particular, our results generalize the ones obtained in [O.I.Morozov, A.Sergyeyev, The four-dimensional Mart\'{\i}nez Alonso-shabat equation: reductions and nonlocal symmetries. J. of Geom. and Phys. 85 (2014), 40--45 (arXiv:1401.7942v2)] and contain the constructed there infinite hierarchy of commuting symmetries as a subalgebra in a much bigger Lie algebra.


title: A systematic literature review on machine learning applications for consumer sentiment analysis using online reviews

abstract: Consumer sentiment analysis is a recent fad for social media related applications such as healthcare, crime, finance, travel, and academics. Disentangling consumer perception to gain insight into the desired objective and reviews is significant. With the advancement of technology, a massive amount of social web-data increasing in terms of volume, subjectivity, and heterogeneity, becomes challenging to process it manually. Machine learning techniques have been utilized to handle this difficulty in real-life applications. This paper presents the study to find out the usefulness, scope, and applicability of this alliance of Machine Learning techniques for consumer sentiment analysis on online reviews in the domain of hospitality and tourism. We have shown a systematic literature review to compare, analyze, explore, and understand the attempts and direction in a proper way to find research gaps to illustrating the future scope of this pairing. This work is contributing to the extant literature in two ways; firstly, the primary objective is to read and analyze the use of machine learning techniques for consumer sentiment analysis on online reviews in the domain of hospitality and tourism. Secondly, in this work, we presented a systematic approach to identify, collect observational evidence, results from the analysis, and assimilate observations of all related high-quality research to address particular research queries referring to the described research area.


title: Superfluid $^3$He in Planar Aerogel

abstract: We report results of experiments with liquid $^3$He confined in a high porosity anisotropic nanostructure which we call planar aerogel. This aerogel consists of nanofibers (with diameters $\sim10$ nm) which are randomly oriented in the plane normal to the specific axis. We used two samples of planar aerogel prepared using different techniques. We have found that on cooling from the normal phase of $^3$He the superfluid transition in both samples occurs into an equal spin pairing superfluid phase. NMR properties of this phase qualitatively agree with the properties of the superfluid A phase in the anisotropic Larkin-Imry-Ma state. We have observed differences between results obtained in the presence and absence of solid paramagnetic $^3$He on the aerogel strands. We propose that these differences may be due, at least in part, to a magnetic scattering channel which appears in the presence of solid paramagnetic $^3$He.

categories: cond-mat.supr-con cond-mat.dis-nn cond-mat.mes-hall cond-mat.mtrl-sci


title: Cross-lingual Semantic Role Labeling with Model Transfer

abstract: Prior studies show that cross-lingual semantic role labeling (SRL) can be achieved by model transfer under the help of universal features. In this paper, we fill the gap of cross-lingual SRL by proposing an end-to-end SRL model that incorporates a variety of universal features and transfer methods. We study both the bilingual transfer and multi-source transfer, under gold or machine-generated syntactic inputs, pre-trained high-order abstract features, and contextualized multilingual word representations. Experimental results on the Universal Proposition Bank corpus indicate that performances of the cross-lingual SRL can vary by leveraging different cross-lingual features. In addition, whether the features are gold-standard also has an impact on performances. Precisely, we find that gold syntax features are much more crucial for cross-lingual SRL, compared with the automatically-generated ones. Moreover, universal dependency structure features are able to give the best help, and both pre-trained high-order features and contextualized word representations can further bring significant improvements.


title: Multiple curves on punctured orientable surfaces

abstract: We describe each multiple curve on the orientable surface of genus-$g$ with $n$ punctures and one boundary component by using this multiple curve's geometric intersection number with the embedded curves in this surface.


title: Excitation of lower hybrid and magneto-sonic perturbations in laser plasma interaction

abstract: Lower hybrid (LH) and magneto-sonic (MS) waves are well known modes of magnetized plasma. These modes play important roles in many phenomena. The lower hybrid wave is often employed in magnetic confinement fusion experiments for current drive and heating purposes. Both LH and MS waves are observed in various astrophysical and space plasma observations. These waves involve ion motion and have not therefore been considered in high power pulsed laser experiments. This paper shows, with the help of Particle - In - Cell (PIC) simulations, a simple mechanism for excitation of lower hybrid and magnetosonic excitations in the context of laser plasma interaction. A detailed study characterising the formation and propagation of these modes have been provided. The scheme for generating these perturbations relies on the application of a strong magnetic field in the plasma to constrain the motion of lighter electron species in the laser electric field. The magnetic field strength is chosen so as to leave the heavier ions un-magnetized at the laser frequency. This helps in the excitation of the LH waves. On the other hand at the slower time scale associated with the laser pulse duration, even the ions show a magnetized response and magnetosonic excitations are observed to get excited.


title: Modeling unsteady B\'enard-Marangoni instabilities in drying volatile droplets on a heated substrate

abstract: We study unsteady internal flows in a sessile droplet of capillary size evaporating in constant contact line mode on a heated substrate. Three-dimensional simulations of internal flows in evaporating droplets of ethanol and silicone oil have been carried out. For describing the Marangoni flows we find it necessary to account for the diffusion of vapor in air, the thermal conduction in all three phases and thermal radiation. The equations have been solved numerically by finite element method using ANSYS Fluent. As a result of the simulations, the nonstationary behavior of B\'enard-Marangoni (BM) instabilities is obtained. At the first stage, a flower structure of BM cells near the triple line emerge. For smaller contact angles, the cells grow in size and occupy the central region of the droplet surface. Being closely connected with recent experimental and theoretical studies, the results obtained help to analyze and resolve the associated issues.


title: Clifford systems, Clifford structures, and their canonical differential forms

abstract: A comparison among different constructions of the quaternionic $4$-form $\Phi_{Sp(2)Sp(1)}$ and of the Cayley calibration $\Phi_{Spin(7)}$ shows that one can start for them from the same collections of "K\"ahler 2-forms", entering in dimension 8 both in quaternion K\"ahler and in $Spin(7)$ geometry. This comparison relates with the notions of even Clifford structure and of Clifford system. Going to dimension $16$, similar constructions allow to write explicit formulas for the canonical $4$-forms $\Phi_{Spin(8)}$ and $\Phi_{Spin(7)U(1)}$, associated with Clifford systems related with the subgroups $Spin(8)$ and $Spin(7)U(1)$ of $SO(16)$. We characterize the calibrated $4$-planes of the $4$-forms $\Phi_{Spin(8)}$ and $\Phi_{Spin(7)U(1)}$, extending in two different ways the notion of Cayley $4$-plane to dimension $16$.


title: Electrostatic dust-acoustic envelope solitons in an electron depleted plasma

abstract: A standard nonlinear Schr\"{o}dinger equation has been established by using the reductive perturbation method to investigate the propagation of electrostatic dust-acoustic waves, and their modulational instability as well as the formation of localized electrostatic envelope solitons in an electron depleted unmagnetized dusty plasma system comprising opposite polarity dust grains and super-thermal positive ions. The relevant physical plasma parameters (viz., charge, mass, number density of positive and negative dust grains, and super-thermality of the positive ions, etc.) have rigorous impact to recognize the stability conditions of dust-acoustic waves. The present study is useful for understanding the mechanism of the formation of dust-acoustic envelope solitons associated with dust-acoustic waves in the laboratory and space environments.


title: A canonical realization of the Weyl BMS symmetry

abstract: We construct a free field realization of an extension of the BMS algebra in $2+1$ dimensional space-time. Besides the supertranslations and superrotations, the extension contains an infinite set of superdilatations. We also comment the difficulties that appear when trying to extend the algebra to that of the full conformal group.


title: Fluid flow structures in an evaporating sessile droplet depending on the droplet size and properties of liquid and substrate

abstract: We investigate numerically quasi-steady internal flows in an axially symmetrical evaporating sessile droplet depending on the ratio of substrate to fluid thermal conductivities, fluid volatility, contact angle and droplet size. Temperature distributions and vortex structures are obtained for droplets of 1-hexanol, 1-butanol and ethanol. To this purpose, the hydrodynamics of an evaporating sessile drop, effects of the thermal conduction in the droplet and substrate and diffusion of vapor in air have been jointly taken into account. The equations have been solved by finite element method using ANSYS Fluent. The phase diagrams demonstrating the number and orientation of the vortices as functions of the contact angle and the ratio of substrate to fluid thermal conductivities, are obtained and analyzed for various values of parameters. In particular, influence of gravity on the droplet shape and the effect of droplet size have been considered. We have found that the phase diagrams of highly volatile droplets do not contain a subregion corresponding to a reversed single vortex, and their single-vortex subregion becomes more complex. The phase diagrams for droplets of larger size do not contian subregions corresponding to a regular single vortex and to three vortices. We demonstrate how the single-vortex subregion disappears with a gradual increase of the droplet size.


title: Automated Search for Resource-Efficient Branched Multi-Task Networks

abstract: The multi-modal nature of many vision problems calls for neural network architectures that can perform multiple tasks concurrently. Typically, such architectures have been handcrafted in the literature. However, given the size and complexity of the problem, this manual architecture exploration likely exceeds human design abilities. In this paper, we propose a principled approach, rooted in differentiable neural architecture search, to automatically define branching (tree-like) structures in the encoding stage of a multi-task neural network. To allow flexibility within resource-constrained environments, we introduce a proxyless, resource-aware loss that dynamically controls the model size. Evaluations across a variety of dense prediction tasks show that our approach consistently finds high-performing branching structures within limited resource budgets.


title: Bosch Deep Learning Hardware Benchmark

abstract: The widespread use of Deep Learning (DL) applications in science and industry has created a large demand for efficient inference systems. This has resulted in a rapid increase of available Hardware Accelerators (HWAs) making comparison challenging and laborious. To address this, several DL hardware benchmarks have been proposed aiming at a comprehensive comparison for many models, tasks, and hardware platforms. Here, we present our DL hardware benchmark which has been specifically developed for inference on embedded HWAs and tasks required for autonomous driving. In addition to previous benchmarks, we propose a new granularity level to evaluate common submodules of DL models, a twofold benchmark procedure that accounts for hardware and model optimizations done by HWA manufacturers, and an extended set of performance indicators that can help to identify a mismatch between a HWA and the DL models used in our benchmark.


title: Nontrivial effective lower bounds for the least common multiple of a $q$-arithmetic progression

abstract: This paper is devoted to establish nontrivial effective lower bounds for the least common multiple of consecutive terms of a sequence ${(u_n)}_{n \in \mathbb{N}}$ whose general term has the form $u_n = r {[n]}_q + u_0$, where $q , r$ are positive integers and $u_0$ is a non-negative integer such that $\mathrm{gcd}(u_0 , r) = \mathrm{gcd}(u_1 , q) = 1$. For such a sequence, we show that for all positive integer $n$, we have $\mathrm{lcm}\{u_1 , u_2 , \dots , u_n\} \geq c_1 \cdot c_2^n \cdot q^{\frac{n^2}{4}}$, where $c_1$ and $c_2$ are positive constants depending only on $q , r$ and $u_0$. This can be considered as a $q$-analog of the lower bounds already obtained by the author (in 2005) and by Hong and Feng (in 2006) for the arithmetic progressions.


title: Non-isomorphic endomorphisms of Fano threefolds

abstract: Let $X$ be a smooth Fano threefold. We show that $X$ admits a non-isomorphic surjective endomorphism if and only if $X$ is either a toric variety or a product of $\mathbb{P}^1$ and a del Pezzo surface; in this case, $X$ is a rational variety. We further show that $X$ admits a polarized (or amplified) endomorphism if and only if $X$ is a toric variety.


title: Uncertainty in Bayesian Leave-One-Out Cross-Validation Based Model Comparison

abstract: Leave-one-out cross-validation (LOO-CV) is a popular method for comparing Bayesian models based on their estimated predictive performance on new, unseen, data. As leave-one-out cross-validation is based on finite observed data, there is uncertainty about the expected predictive performance on new data. By modeling this uncertainty when comparing two models, we can compute the probability that one model has a better predictive performance than the other. Modeling this uncertainty well is not trivial, and for example, it is known that the commonly used standard error estimate is often too small. We study the properties of the Bayesian LOO-CV estimator and the related uncertainty estimates when comparing two models. We provide new results of the properties both theoretically in the linear regression case and empirically for multiple different models and discuss the challenges of modeling the uncertainty. We show that problematic cases include: comparing models with similar predictions, misspecified models, and small data. In these cases, there is a weak connection in the skewness of the individual leave-one-out terms and the distribution of the error of the Bayesian LOO-CV estimator. We show that it is possible that the problematic skewness of the error distribution, which occurs when the models make similar predictions, does not fade away when the data size grows to infinity in certain situations. Based on the results, we also provide practical recommendations for the users of Bayesian LOO-CV for model comparison.


title: A complete search for redshift z>6.5 quasars in the VIKING survey

abstract: We present the results of a new, deeper, and complete search for high-redshift $6.5<z<9.3$ quasars over 977deg$^2$ of the VISTA Kilo-Degree Infrared Galaxy (VIKING) survey. This exploits a new list-driven dataset providing photometry in all bands ZYJHKs, for all sources detected by VIKING in $J$. We use the Bayesian model comparison (BMC) selection method of Mortlock et al., producing a ranked list of just 21 candidates. The sources ranked 1, 2, 3 and 5 are the four known $z>6.5$ quasars in this field. Additional observations of the other 17 candidates, primarily DESI Legacy Survey photometry and ESO FORS2 spectroscopy, confirm that none is a quasar. This is the first complete sample from the VIKING survey, and we provide the computed selection function. We include a detailed comparison of the BMC method against two other selection methods: colour cuts and minimum-$\chi^2$ SED fitting. We find that: i) BMC produces eight times fewer false positives than colour cuts, while also reaching 0.3 mag. deeper, ii) the minimum-$\chi^2$ SED fitting method is extremely efficient but reaches 0.7 mag. less deep than the BMC method, and selects only one of the four known quasars. We show that BMC candidates, rejected because their photometric SEDs have high $\chi^2$ values, include bright examples of galaxies with very strong [OIII]$\lambda\lambda$4959,5007 emission in the $Y$ band, identified in fainter surveys by Matsuoka et al. This is a potential contaminant population in Euclid searches for faint $z>7$ quasars, not previously accounted for, and that requires better characterisation.


title: CA-GAN: Weakly Supervised Color Aware GAN for Controllable Makeup Transfer

abstract: While existing makeup style transfer models perform an image synthesis whose results cannot be explicitly controlled, the ability to modify makeup color continuously is a desirable property for virtual try-on applications. We propose a new formulation for the makeup style transfer task, with the objective to learn a color controllable makeup style synthesis. We introduce CA-GAN, a generative model that learns to modify the color of specific objects (e.g. lips or eyes) in the image to an arbitrary target color while preserving background. Since color labels are rare and costly to acquire, our method leverages weakly supervised learning for conditional GANs. This enables to learn a controllable synthesis of complex objects, and only requires a weak proxy of the image attribute that we desire to modify. Finally, we present for the first time a quantitative analysis of makeup style transfer and color control performance.


title: Measurement of the semileptonic $\bar{B}^0 \to D^{*+} \ell^{-} \nu_{\ell}$ branching fraction with fully reconstructed $B$ meson decays and 34.6 fb$^{-1}$of Belle II data

abstract: We present a first measurement of the $\bar{B^{0}} \rightarrow D^{*+} \ell^{-} \nu_{\ell}$ branching fraction using fully reconstructed $B$ meson decays employing the Full Event Interpretation algorithm. Collision events corresponding to an integrated luminosity of \lumi are analyzed, which were recorded by the Belle~II detector operated at the SuperKEKB accelerator complex. We measure$\cal{B}(\bar{B^{0}} \rightarrow D^{*+} \ell^{-} \nu_{\ell}) =4.51 \pm 0.41_{stat}\pm0.27_{syst} \pm0.45_{\pi_s}$, with the first and second error denoting the statistical and systematic uncertainty, respectively, and the third dominant uncertainty is from the slow pion reconstruction efficiency.


title: Importance subsampling for power system planning under multi-year demand and weather uncertainty

abstract: This paper introduces a generalised version of importance subsampling for time series reduction/aggregation in optimisation-based power system planning models. Recent studies indicate that reliably determining optimal electricity (investment) strategy under climate variability requires the consideration of multiple years of demand and weather data. However, solving planning models over long simulation lengths is typically computationally unfeasible, and established time series reduction approaches induce significant errors. The importance subsampling method reliably estimates long-term planning model outputs at greatly reduced computational cost, allowing the consideration of multi-decadal samples. The key innovation is a systematic identification and preservation of relevant extreme events in modeling subsamples. Simulation studies on generation and transmission expansion planning models illustrate the method's enhanced performance over established "representative days" clustering approaches. The models, data and sample code are made available as open-source software.


title: IsoTrotter: Visually Guided Empirical Modelling of Atmospheric Convection

abstract: Empirical models, fitted to data from observations, are often used in natural sciences to describe physical behaviour and support discoveries. However, with more complex models, the regression of parameters quickly becomes insufficient, requiring a visual parameter space analysis to understand and optimize the models. In this work, we present a design study for building a model describing atmospheric convection. We present a mixed-initiative approach to visually guided modelling, integrating an interactive visual parameter space analysis with partial automatic parameter optimization. Our approach includes a new, semi-automatic technique called IsoTrotting where we optimize the procedure by navigating along isocontours of the model. We evaluate the model with unique observational data of atmospheric convection based on flight trajectories of paragliders.


title: Local supertwistors and conformal supergravity in six dimensions

abstract: The local supertwistor formalism, which involves a superconformal connection acting on the bundle of such objects over superspace, is used to investigate superconformal geometry in six dimensions. The geometry corresponding to (1, 0) and (2, 0) off-shell conformal supergravity multiplets, as well the associated finite super-Weyl transformations, are derived.


title: Attractive and repulsive exciton-polariton interactions mediated by an electron gas

abstract: Realising strong photon-photon interactions in a solid-state setting is a major goal with far reaching potential for optoelectronic applications. Using Landau's quasiparticle framework combined with a microscopic many-body theory, we explore the interactions between exciton-polaritons and trions in a two-dimensional semiconductor injected with an electron gas inside a microcavity. We show that particle-hole excitations in the electron gas mediate an attractive interaction between the polaritons, whereas a trion-polariton interaction mediated by the exchange of an electron is either repulsive or attractive depending on the specific polariton branch. These mediated interactions are intrinsic to the quasiparticles and are also present in the absence of light. Importantly, they can be tuned to be more than an order of magnitude stronger than the direct polariton-polariton interaction in the absence of the electron gas, thereby providing a promising outlook for non-linear optical components. Finally, we compare our theoretical predictions with two recent experiments.


title: Zonal jets at the laboratory scale: hysteresis and Rossby waves resonance

abstract: The dynamics, structure and stability of zonal jets in planetary flows are still poorly understood, especially in terms of coupling with the small-scale turbulent flow. Here, we use an experimental approach to address the questions of zonal jets formation and long-term evolution. A strong and uniform topographic $\beta$-effect is obtained inside a water-filled rotating tank thanks to the paraboloidal fluid free upper surface combined with a specifically designed bottom plate. A small-scale turbulent forcing is performed by circulating water through the base of the tank. Time-resolving PIV measurements reveal the self-organization of the flow into multiple zonal jets with strong instantaneous signature. We identify a subcritical bifurcation between two regimes of jets depending on the forcing intensity. In the first regime, the jets are steady, weak in amplitude, and directly forced by the local Reynolds stresses due to our forcing. In the second one, we observe highly energetic and dynamic jets of width larger than the forcing scale. An analytical modeling based on the quasi-geostrophic approximation reveals that this subcritical bifurcation results from the resonance between the directly forced Rossby waves and the background zonal flow.


title: Odd wheels are not odd-distance graphs

abstract: An odd wheel graph is a graph formed by connecting a new vertex to all vertices of an odd cycle. We answer a question of Rosenfeld and Le by showing that odd wheels cannot be drawn in the plane such that the lengths of the edges are odd integers.


title: Dust-acoustic wave electrostatic and self-gravitational potentials in an opposite polarity dusty plasma system

abstract: An opposite polarity dusty plasma system (containing a few micron size massive opposite polarity dust species and singly charged ion species following Boltzmann law) is considered. The nature of dust-acoustic (DA) wave electrostatic and self-gravitational potentials are correctly found by the numerical analysis of two coupled second-order nonlinear differential equations for electrostatic and self-gravitational potentials associated with the DA waves in such an opposite polarity dusty plasma medium. These coupled nonlinear differential equations are derived from the continuity and momentum equations for positive and negative dust species, and the Boltzmann law for ion species. The basic features of the DA wave self-gravitational potential are compared with that of the DA wave electrostatic potential. The relevance of our results to space and laboratory opposite polarity dusty plasma systems is mentioned.


title: Coinductive Invertibility in Higher Categories

abstract: Invertibility is an important concept in category theory. In higher category theory, it becomes less obvious what the correct notion of invertibility is, as extra coherence conditions can become necessary for invertible structures to have desirable properties. We define some properties we expect to hold in any reasonable definition of a weak $\omega$-category. With these properties we define three notions of invertibility inspired by homotopy type theory. These are quasi-invertibility, where a two sided inverse is required, bi-invertibility, where a separate left and right inverse is given, and half-adjoint inverse, which is a quasi-inverse with an extra coherence condition. These definitions take the form of coinductive data structures. Using coinductive proofs we are able to show that these three notions are all equivalent in that given any one of these invertibility structures, the others can be obtained. The methods used to do this are generic and it is expected that the results should be applicable to any reasonable model of higher category theory. Many of the results of the paper have been formalised in Agda using coinductive records and the machinery of sized types.