title: Improved Convergence Guarantees for Learning Gaussian Mixture Models by EM and Gradient EM

abstract: We consider the problem of estimating the parameters a Gaussian Mixture Model with K components of known weights, all with an identity covariance matrix. We make two contributions. First, at the population level, we present a sharper analysis of the local convergence of EM and gradient EM, compared to previous works. Assuming a separation of $\Omega(\sqrt{\log K})$, we prove convergence of both methods to the global optima from an initialization region larger than those of previous works. Specifically, the initial guess of each component can be as far as (almost) half its distance to the nearest Gaussian. This is essentially the largest possible contraction region. Our second contribution are improved sample size requirements for accurate estimation by EM and gradient EM. In previous works, the required number of samples had a quadratic dependence on the maximal separation between the K components, and the resulting error estimate increased linearly with this maximal separation. In this manuscript we show that both quantities depend only logarithmically on the maximal separation.


title: Dynamics, behaviours, and anomaly persistence in cryptocurrencies and equities surrounding COVID-19

abstract: This paper uses new and recently introduced methodologies to study the similarity in the dynamics and behaviours of cryptocurrencies and equities surrounding the COVID-19 pandemic. We study two collections; 45 cryptocurrencies and 72 equities, both independently and in conjunction. First, we examine the evolution of cryptocurrency and equity market dynamics, with a particular focus on their change during the COVID-19 pandemic. We demonstrate markedly more similar dynamics during times of crisis. Next, we apply recently introduced methods to contrast trajectories, erratic behaviours, and extreme values among the two multivariate time series. Finally, we introduce a new framework for determining the persistence of market anomalies over time. Surprisingly, we find that although cryptocurrencies exhibit stronger collective dynamics and correlation in all market conditions, equities behave more similarly in their trajectories, extremes, and show greater persistence in anomalies over time.


title: Cauchy problem for operators with triple effectively hyperbolic characteristics-Ivrii's conjecture-

abstract: Ivrii's conjecture asserts that the Cauchy problem is $C^{\infty}$ well-posed for any lower order term if every critical point of the principal symbol is effectively hyperbolic. Effectively hyperbolic critical point is at most triple characteristic. If every characteristic is at most double this conjecture has been proved in 1980's. In this paper we prove the conjecture for the remaining cases, that is for operators with triple effectively hyperbolic characteristics.


title: Polar swimmers induce several phases in active nematics

abstract: Swimming bacteria in passive nematics in the form of lyotropic liquid crystals are defined as a new class of active matter known as living liquid crystals in recent studies. It has also been shown that liquid crystal solutions are promising candidates for trapping and detecting bacteria. We ask the question, can a similar class of matter be designed for background nematics which are also active? Hence, we developed a minimal model for the mixture of polar particles in active nematics. It is found that the active nematics in such a mixture are highly sensitive to the presence of polar particles, and show the formation of large scale higher order structures for a relatively low polar particle density. Upon increasing the density of polar particles, different phases of active nematics are found and it is observed that the system shows two phase transitions. The first phase transition is a first order transition from quasi-long ranged ordered active nematics to disordered active nematics with larger scale structures. On further increasing density of polar particles, the system transitions to a third phase, where polar particles form large, mutually aligned clusters. These clusters sweep the whole system and enforce local order in the nematics. The current study can be helpful for detecting the presence of very low densities of polar swimmers in active nematics and can be used to design and control different structures in active nematics.


title: A pessimist's approach to one-sided matching

abstract: Inspired by real-world applications such as the assignment of pupils to schools or the allocation of social housing, the one-sided matching problem studies how a set of agents can be assigned to a set of objects when the agents have preferences over the objects, but not vice versa. For fairness reasons, most mechanisms use randomness, and therefore result in a probabilistic assignment. We study the problem of decomposing these probabilistic assignments into a weighted sum of ex-post (Pareto-)efficient matchings, while maximizing the worst-case number of assigned agents. This decomposition preserves all the assignments' desirable properties, most notably strategy-proofness. For a specific class of probabilistic assignments, including the assignment by the Probabilistic Serial mechanism, we propose a polynomial-time algorithm for this problem that obtains a decomposition in which all matchings assign at least the expected number of assigned agents by the probabilistic assignment, rounded down, thus achieving the theoretically best possible guarantee. For general probabilistic assignments, the problem becomes NP-hard. For the Random Serial Dictatorship mechanism, we show that the worst-case number of assigned agents is at least half of the optimal, and that this bound is asymptotically tight. Lastly, we propose a column generation framework for the introduced problem, which we evaluate both on randomly generated data, and on real-world school choice data from the Belgian cities Antwerp and Ghent.


title: Verma modules over deformed generalized Heisenberg-Virasoro algebras

abstract: Let $\mathfrak g(G,\lambda)$ denote the deformed generalized Heisenberg-Virasoro algebra related to a complex parameter $\lambda\neq-1$ and an additive subgroup $G$ of $\mathbb C$. For a total order on $G$ that is compatible with addition, a Verma module over $\mathfrak g(G,\lambda)$ is defined. In this paper, we completely determine the irreducibility of these Verma modules.


title: Classifying spaces for families of subgroups of 8-located groups

abstract: We investigate the structure of the minimal displacement set in $8$-located complexes with the SD'-property. We show that such set embeds isometrically into the complex. Since $8$-location and simple connectivity imply Gromov hyperbolicity, the minimal displacement set in such complex is systolic. Using these results, we construct a low-dimensional classifying space for the family of virtually cyclic subgroups of a group acting properly on an $8$-located complex with the SD'-property.


title: Neural network algorithm and its application in temperature control of distillation tower

abstract: Distillation process is a complex process of conduction, mass transfer and heat conduction, which is mainly manifested as follows: The mechanism is complex and changeable with uncertainty; the process is multivariate and strong coupling; the system is nonlinear, hysteresis and time-varying. Neural networks can perform effective learning based on corresponding samples, do not rely on fixed mechanisms, have the ability to approximate arbitrary nonlinear mappings, and can be used to establish system input and output models. The temperature system of the rectification tower has a complicated structure and high accuracy requirements. The neural network is used to control the temperature of the system, which satisfies the requirements of the production process. This article briefly describes the basic concepts and research progress of neural network and distillation tower temperature control, and systematically summarizes the application of neural network in distillation tower control, aiming to provide reference for the development of related industries.


title: Multi-label Ranking: Mining Multi-label and Label Ranking Data

abstract: We survey multi-label ranking tasks, specifically multi-label classification and label ranking classification. We highlight the unique challenges, and re-categorize the methods, as they no longer fit into the traditional categories of transformation and adaptation. We survey developments in the last demi-decade, with a special focus on state-of-the-art methods in deep learning multi-label mining, extreme multi-label classification and label ranking. We conclude by offering a few future research directions.


title: Norms of certain functions of a distinguished Laplacian on the $ax+b$ groups

abstract: The aim of this paper is to find new estimates for the norms of functions of the (minus) Laplace operator $\cal L$ on the `$ax+b$' groups. The central part is devoted to spectrally localized wave propagators, that is, functions of the type $\psi(\sqrt{\cal L})\exp(it \sqrt{\cal L})$, with $\psi\in C_0(\mathbb{R})$. We show that for $t\to+\infty$, the convolution kernel $k_t$ of this operator satisfies $$ \|k_t\|_1\asymp t, \qquad \|k_t\|_\infty\asymp 1, $$ so that the upper estimates of D. M\"uller and C. Thiele (Studia Math., 2007) are sharp. As a necessary component, we recall the Plancherel density of $\cal L$ and spend certain time presenting and comparing different approaches to its calculation. Using its explicit form, we estimate uniform norms of several functions of the shifted Laplace-Beltrami operator $\tilde\Delta$, closely related to $\cal L$. The functions include in particular $\exp(-t\tilde\Delta^\gamma)$, $t>0,\gamma>0$, and $(\tilde\Delta-z)^s$, with complex $z,s$.


title: UPSLAM: Union of Panoramas SLAM

abstract: We present an empirical investigation of a new mapping system based on a graph of panoramic depth images. Panoramic images efficiently capture range measurements taken by a spinning lidar sensor, recording fine detail on the order of a few centimeters within maps of expansive scope on the order of tens of millions of cubic meters. The flexibility of the system is demonstrated by running the same mapping software against data collected by hand-carrying a sensor around a laboratory space at walking pace, moving it outdoors through a campus environment at running pace, driving the sensor on a small wheeled vehicle on- and off-road, flying the sensor through a forest, carrying it on the back of a legged robot navigating an underground coal mine, and mounting it on the roof of a car driven on public roads. The full 3D maps are built online with a median update time of less than ten milliseconds on an embedded NVIDIA Jetson AGX Xavier system.


title: Spin Polarization Induced by Inhomogeneous Dynamical Condensate

abstract: The role of dynamical chiral condensate in spin polarization is investigated in a kinetic theory framework. Transport equations for quark matter are derived in the mean-field approximation for the Nambu--Jona-Lasinio model. The dynamical condensate carries part of the energy momentum tensor (EMT) and the angular momentum tensor (AMT), the conservation of EMT and AMT can be proved from the kinetic equations as required by the symmetry. The transport equations of vector and axial-vector components are derived taking the spin decomposition as well as semi-classical expansion. Inhomogeneous mass introduces novel effect at $\mathcal{O}(\hbar)$, for an initially unpolarized system, spin polarization can be generated from the dynamical chiral condensate, even without the collision term. The stable spin distribution function is found to be robust, namely in the case with non-trivial dynamical mass, the spin polarization is still enslaved by the thermal vorticity, while the Killing condition can be loosened.


title: DB4HLS: A Database of High-Level Synthesis Design Space Explorations

abstract: High-Level Synthesis (HLS) frameworks allow to easily specify a large number of variants of the same hardware design by only acting on optimization directives. Nonetheless, the hardware synthesis of implementations for all possible combinations of directive values is impractical even for simple designs. Addressing this shortcoming, many HLS Design Space Exploration (DSE) strategies have been proposed to devise directive settings leading to high-quality implementations while limiting the number of synthesis runs. All these works require considerable efforts to validate the proposed strategies and/or to build the knowledge base employed to tune abstract models, as both tasks mandate the syntheses of large collections of implementations. Currently, such data gathering is performed ad-hoc, a) leading to a lack of standardization, hampering comparisons between DSE alternatives, and b) posing a very high burden to researchers willing to develop novel DSE strategies. Against this backdrop, we here introduce DB4HLS, a database of exhaustive HLS explorations comprising more than 100000 design points collected over 4 years of synthesis time. The open structure of DB4HLS allows the incremental integration of new DSEs, which can be easily defined with a dedicated domain-specific language. We think that of our database, available at https://www.db4hls.inf.usi.ch/, will be a valuable tool for the research community investigating automated strategies for the optimization of HLS-based hardware designs.


title: Style Normalization and Restitution for Domain Generalization and Adaptation

abstract: For many practical computer vision applications, the learned models usually have high performance on the datasets used for training but suffer from significant performance degradation when deployed in new environments, where there are usually style differences between the training images and the testing images. An effective domain generalizable model is expected to be able to learn feature representations that are both generalizable and discriminative. In this paper, we design a novel Style Normalization and Restitution module (SNR) to simultaneously ensure both high generalization and discrimination capability of the networks. In the SNR module, particularly, we filter out the style variations (e.g, illumination, color contrast) by performing Instance Normalization (IN) to obtain style normalized features, where the discrepancy among different samples and domains is reduced. However, such a process is task-ignorant and inevitably removes some task-relevant discriminative information, which could hurt the performance. To remedy this, we propose to distill task-relevant discriminative features from the residual (i.e, the difference between the original feature and the style normalized feature) and add them back to the network to ensure high discrimination. Moreover, for better disentanglement, we enforce a dual causality loss constraint in the restitution step to encourage the better separation of task-relevant and task-irrelevant features. We validate the effectiveness of our SNR on different computer vision tasks, including classification, semantic segmentation, and object detection. Experiments demonstrate that our SNR module is capable of improving the performance of networks for domain generalization (DG) and unsupervised domain adaptation (UDA) on many tasks. Code are available at https://github.com/microsoft/SNR.


title: diff-SAT -- A Software for Sampling and Probabilistic Reasoning for SAT and Answer Set Programming

abstract: This paper describes diff-SAT, an Answer Set and SAT solver which combines regular solving with the capability to use probabilistic clauses, facts and rules, and to sample an optimal world-view (multiset of satisfying Boolean variable assignments or answer sets) subject to user-provided probabilistic constraints. The sampling process minimizes a user-defined differentiable objective function using a gradient descent based optimization method called Differentiable Satisfiability Solving ($\partial\mathrm{SAT}$) respectively Differentiable Answer Set Programming ($\partial\mathrm{ASP}$). Use cases are i.a. probabilistic logic programming (in form of Probabilistic Answer Set Programming), Probabilistic Boolean Satisfiability solving (PSAT), and distribution-aware sampling of model multisets (answer sets or Boolean interpretations).


title: RegNet: Self-Regulated Network for Image Classification

abstract: The ResNet and its variants have achieved remarkable successes in various computer vision tasks. Despite its success in making gradient flow through building blocks, the simple shortcut connection mechanism limits the ability of re-exploring new potentially complementary features due to the additive function. To address this issue, in this paper, we propose to introduce a regulator module as a memory mechanism to extract complementary features, which are further fed to the ResNet. In particular, the regulator module is composed of convolutional RNNs (e.g., Convolutional LSTMs or Convolutional GRUs), which are shown to be good at extracting Spatio-temporal information. We named the new regulated networks as RegNet. The regulator module can be easily implemented and appended to any ResNet architecture. We also apply the regulator module for improving the Squeeze-and-Excitation ResNet to show the generalization ability of our method. Experimental results on three image classification datasets have demonstrated the promising performance of the proposed architecture compared with the standard ResNet, SE-ResNet, and other state-of-the-art architectures.


title: Progressive Correspondence Pruning by Consensus Learning

abstract: Correspondence selection aims to correctly select the consistent matches (inliers) from an initial set of putative correspondences. The selection is challenging since putative matches are typically extremely unbalanced, largely dominated by outliers, and the random distribution of such outliers further complicates the learning process for learning-based methods. To address this issue, we propose to progressively prune the correspondences via a local-to-global consensus learning procedure. We introduce a ``pruning'' block that lets us identify reliable candidates among the initial matches according to consensus scores estimated using local-to-global dynamic graphs. We then achieve progressive pruning by stacking multiple pruning blocks sequentially. Our method outperforms state-of-the-arts on robust line fitting, camera pose estimation and retrieval-based image localization benchmarks by significant margins and shows promising generalization ability to different datasets and detector/descriptor combinations.


title: Binary Outcome Copula Regression Model with Sampling Gradient Fitting

abstract: Use copula to model dependency of variable extends multivariate gaussian assumption. In this paper we first empirically studied copula regression model with continous response. Both simulation study and real data study are given. Secondly we give a novel copula regression model with binary outcome, and we propose a score gradient estimation algorithms to fit the model. Both simulation study and real data study are given for our model and fitting algorithm.


title: Existence of solutions for singular double phase problems via the Nehari manifold method

abstract: In this paper we study quasilinear elliptic equations driven by the double phase operator and a right-hand side which has the combined effect of a singular and of a parametric term. Based on the fibering method by using the Nehari manifold we are going to prove the existence of at least two weak solutions for such problems when the parameter is sufficiently small.


title: Nonlinear Incremental Control for Flexible Aircraft Trajectory Tracking and Load Alleviation

abstract: This paper proposes a nonlinear control architecture for flexible aircraft simultaneous trajectory tracking and load alleviation. By exploiting the control redundancy, the gust and maneuver loads are alleviated without degrading the rigid-body command tracking performance. The proposed control architecture contains four cascaded control loops: position control, flight path control, attitude control, and optimal multi-objective wing control. Since the position kinematics are not influenced by model uncertainties, the nonlinear dynamic inversion control is applied. On the contrary, the flight path dynamics are perturbed by both model uncertainties and atmospheric disturbances; thus the incremental sliding mode control is adopted. Lyapunov-based analyses show that this method can simultaneously reduce the model dependency and the minimum possible gains of conventional sliding mode control methods. Moreover, the attitude dynamics are in the strict-feedback form; thus the incremental backstepping sliding mode control is applied. Furthermore, a novel load reference generator is designed to distinguish the necessary loads for performing maneuvers from the excessive loads. The load references are realized by the inner-loop optimal wing controller, while the excessive loads are naturalized by flaps without influencing the outer-loop tracking performance. The merits of the proposed control architecture are verified by trajectory tracking tasks and gust load alleviation tasks in spatial von Karman turbulence fields.


title: Bosonic Dirty Paper Coding

abstract: The single-mode bosonic channel is addressed with classical interference in the modulation and with side information at the transmitter. This model can viewed as the quantum counterpart of the classical random-parameter Gaussian channel. Based on Costa's writing-on-dirty-paper result (1983), the effect of the channel parameter can be canceled even when the decoder has no side information, and regardless of the input power constraint. For both homodyne and heterodyne detection with a coherent-state protocol, the model reduces to a classical channel with either real or complex-valued Gaussian noise. Thereby, by applying Costa's dirty paper coding strategy, we observe that the effect of the classical interference can be canceled for those channels as well. Then, we consider the bosonic channel with joint detection, for which the classical results do not apply, and derive a dirty-paper coding lower bound. Furthermore, considering the special case of a pure-loss bosonic channel, we demonstrate that the optimal coefficient for dirty paper coding is not necessarily the MMSE estimator coefficient as in the classical setting.


title: Jackiw-Teitelboim Gravity in the Second Order Formalism

abstract: We formulate the path integral for Jackiw-Teitelboim gravity in the second order formalism working directly with the metric and the dilaton. We consider the theory both in Anti-de Sitter(AdS) and de Sitter space(dS) and analyze the path integral for the disk topology and the "double trumpet" topology with two boundaries. We also consider its behavior in the presence of conformal matter. In the dS case the path integral evaluates the wavefunction of the universe which arises in the no-boundary proposal. In the asymptotic AdS or dS limit without matter we get agreement with the first order formalism. More generally, away from this limit, the path integral is more complicated due to the presence of modes from the gravity-dilaton sector and also matter sector with short wavelengths along the boundary that are smaller than the AdS or dS scales. In the double trumpet case, for both AdS and dS, we find that bosonic matter gives rise to a diverging contribution in the moduli space integral rendering the path integral ill-defined. The divergence occurs when the size of the wormhole neck vanishes and is related to the Casimir effect. For fermions this divergence can be avoided by imposing suitable boundary conditions. In this case, in dS space the resulting path integral gives a finite contribution for two disconnected universes to be produced by quantum tunneling.


title: Quantum mold casting for topological insulating and edge states

abstract: We study the possibility of transferring fermions from a trivial system as particle source to an empty system but at topological phase as a mold for casting a stable topological insulator dynamically. We show that this can be realized by a non-Hermitian unidirectional hopping, which connects a central system at topological phase and a trivial flat-band system with a periodic driving chemical potential, which scans over the valence band of the central system. The near exceptional-point dynamics allows a unidirectional dynamical process: the time evolution from an initial state with full-filled source system to a stable topological insulating state approximately. The result is demonstrated numerically by a source-assistant QWZ model and SSH chain in the presence of random perturbation. Our finding reveals a classical analogy of quench dynamics in quantum matter and provides a way for topological quantum state engineering.


title: Copula Flows for Synthetic Data Generation

abstract: The ability to generate high-fidelity synthetic data is crucial when available (real) data is limited or where privacy and data protection standards allow only for limited use of the given data, e.g., in medical and financial data-sets. Current state-of-the-art methods for synthetic data generation are based on generative models, such as Generative Adversarial Networks (GANs). Even though GANs have achieved remarkable results in synthetic data generation, they are often challenging to interpret.Furthermore, GAN-based methods can suffer when used with mixed real and categorical variables.Moreover, loss function (discriminator loss) design itself is problem specific, i.e., the generative model may not be useful for tasks it was not explicitly trained for. In this paper, we propose to use a probabilistic model as a synthetic data generator. Learning the probabilistic model for the data is equivalent to estimating the density of the data. Based on the copula theory, we divide the density estimation task into two parts, i.e., estimating univariate marginals and estimating the multivariate copula density over the univariate marginals. We use normalising flows to learn both the copula density and univariate marginals. We benchmark our method on both simulated and real data-sets in terms of density estimation as well as the ability to generate high-fidelity synthetic data


title: Phase Transitions in Recovery of Structured Signals from Corrupted Measurements

abstract: This paper is concerned with the problem of recovering a structured signal from a relatively small number of corrupted random measurements. Sharp phase transitions have been numerically observed in practice when different convex programming procedures are used to solve this problem. This paper is devoted to presenting theoretical explanations for these phenomenons by employing some basic tools from Gaussian process theory. Specifically, we identify the precise locations of the phase transitions for both constrained and penalized recovery procedures. Our theoretical results show that these phase transitions are determined by some geometric measures of structure, e.g., the spherical Gaussian width of a tangent cone and the Gaussian (squared) distance to a scaled subdifferential. By utilizing the established phase transition theory, we further investigate the relationship between these two kinds of recovery procedures, which also reveals an optimal strategy (in the sense of Lagrange theory) for choosing the tradeoff parameter in the penalized recovery procedure. Numerical experiments are provided to verify our theoretical results.


title: Resolving the structure-energy dilemma at organic-inorganic interfaces: Adsorption of benzene, thiophene, and xenon over coinage metal surfaces

abstract: Semilocal (SL) density functional approximations (DFAs) are widely applied but have limitations due to their inability to incorporate long-range van der Waals (vdW) interaction. Non-local functionals (vdW-DF, VV10, rVV10) or empirical methods (DFT+D, DFT+vdW, DFT+MBD) are used with SL-DFAs to account for such missing interaction. The physisorption of a molecule on the surface of the coinage metals (Cu, Ag, and Au) is a typical example of systems where vdW interaction is significant. However, it is difficult to find a general method that reasonably describes both adsorption energy and geometry of even the simple prototypes of cyclic and heterocyclic aromatic molecules like benzene (C6H6) and thiophene (C4H4S) respectively, with reasonable accuracy. In this work, we present an alternative scheme based on Zaremba-Kohn's theory, called DFT+vdW-dZK. We show that, unlike other popular methods, DFT+vdW-dZK and particularly SCAN+vdW-dZK gives an accurate description of the physisorption of a rare-gas atom (Xe) and two small albeit diverse prototype organic molecules on the (111) surfaces of the coinage metals.


title: On $m$--fold Holomorphic Differentials and Modular Forms

abstract: Let $\Gamma$ be the Fuchsian group of the first kind. For an even integer $m\ge 4$, we study $m/2$-holomorphic differentials in terms of space of (holomorphic) cuspidal modular forms $S_m(\Gamma)$. We also give in depth study of Wronskians of cuspidal modular forms and their divisors.


title: Capacities of Gaussian Quantum Channels with Passive Environment Assistance

abstract: Passive environment assisted communication takes place via a quantum channel modeled as a unitary interaction between the information carrying system and an environment, where the latter is controlled by a passive helper, who can set its initial state such as to assist sender and receiver, but not help actively by adjusting her behaviour depending on the message. Here we investigate the information transmission capabilities in this framework by considering Gaussian unitaries acting on Bosonic systems. We consider both quantum communication and classical communication with helper, as well as classical communication with free classical coordination between sender and helper (conferencing encoders). Concerning quantum communication, we prove general coding theorems with and without energy constraints, yielding multi-letter (regularized) expressions. In the search for cases where the capacity formula is computable, we look for Gaussian unitaries that are universally degradable or anti-degradable. However, we show that no Gaussian unitary yields either a degradable or anti-degradable channel for all environment states. On the other hand, restricting to Gaussian environment states, results in universally degradable unitaries, for which we thus can give single-letter quantum capacity formulas. Concerning classical communication, we prove a general coding theorem for the classical capacity under and energy constraint, given by a multi-letter expression. Furthermore, we derive an uncertainty-type relation between the classical capacities of the sender and the helper, helped respectively by the other party, showing a lower bound on the sum of the two capacities. Then, this is used to lower bound the classical information transmission rate in the scenario of classical communication between sender and helper.


title: A Switched View of Retinex: Deep Self-Regularized Low-Light Image Enhancement

abstract: Self-regularized low-light image enhancement does not require any normal-light image in training, thereby freeing from the chains on paired or unpaired low-/normal-images. However, existing methods suffer color deviation and fail to generalize to various lighting conditions. This paper presents a novel self-regularized method based on Retinex, which, inspired by HSV, preserves all colors (Hue, Saturation) and only integrates Retinex theory into brightness (Value). We build a reflectance estimation network by restricting the consistency of reflectances embedded in both the original and a novel random disturbed form of the brightness of the same scene. The generated reflectance, which is assumed to be irrelevant of illumination by Retinex, is treated as enhanced brightness. Our method is efficient as a low-light image is decoupled into two subspaces, color and brightness, for better preservation and enhancement. Extensive experiments demonstrate that our method outperforms multiple state-of-the-art algorithms qualitatively and quantitatively and adapts to more lighting conditions.


title: Privacy-sensitive Objects Pixelation for Live Video Streaming

abstract: With the prevailing of live video streaming, establishing an online pixelation method for privacy-sensitive objects is an urgency. Caused by the inaccurate detection of privacy-sensitive objects, simply migrating the tracking-by-detection structure into the online form will incur problems in target initialization, drifting, and over-pixelation. To cope with the inevitable but impacting detection issue, we propose a novel Privacy-sensitive Objects Pixelation (PsOP) framework for automatic personal privacy filtering during live video streaming. Leveraging pre-trained detection networks, our PsOP is extendable to any potential privacy-sensitive objects pixelation. Employing the embedding networks and the proposed Positioned Incremental Affinity Propagation (PIAP) clustering algorithm as the backbone, our PsOP unifies the pixelation of discriminating and indiscriminating pixelation objects through trajectories generation. In addition to the pixelation accuracy boosting, experiments on the streaming video data we built show that the proposed PsOP can significantly reduce the over-pixelation ratio in privacy-sensitive object pixelation.


title: Unambiguous tracking of protein phosphorylation by fast, high-resolution FOSY NMR

abstract: Phosphorylation is a prototypical example of post-translational modifications (PTMs) that dynamically modulate protein func-tion, where dysregulation is often implicated in disease. NMR provides information on the exact location and time course of PTMs with atomic resolution and under nearly physiological conditions, including inside living cells, but requires unambiguous prior assignment of affected NMR signals to individual atoms. Yet, existing methods for this task base on a global, hence, costly and tedious NMR signal assignment that may often fail, especially for large intrinsically disordered proteins (IDPs). Here we introduce a sensitive and robust method to rapidly obtain only the relevant local NMR signal assignment, based on a suite of FOcused SpectroscopY (FOSY) experiments that employ the long overlooked concept of selective polarisation transfer (SPT). We then demonstrate the efficiency of FOSY in identifying two phosphorylation sites of proline-dependent glycogen synthase kinase 3 beta (GSK3\b{eta}) in human Tau40, an IDP of 441 residues. Besides confirming the known target residue Ser404, the un-precedented spectral dispersion in FOSY disclosed for the first time that GSK3\b{eta} can also phosphorylate Ser409 without priming by other protein kinases. The new approach will benefit NMR studies of other PTMs and protein hotspots in general, including sites involved in molecular interactions and conformational changes


title: News Image Steganography: A Novel Architecture Facilitates the Fake News Identification

abstract: A larger portion of fake news quotes untampered images from other sources with ulterior motives rather than conducting image forgery. Such elaborate engraftments keep the inconsistency between images and text reports stealthy, thereby, palm off the spurious for the genuine. This paper proposes an architecture named News Image Steganography (NIS) to reveal the aforementioned inconsistency through image steganography based on GAN. Extractive summarization about a news image is generated based on its source texts, and a learned steganographic algorithm encodes and decodes the summarization of the image in a manner that approaches perceptual invisibility. Once an encoded image is quoted, its source summarization can be decoded and further presented as the ground truth to verify the quoting news. The pairwise encoder and decoder endow images of the capability to carry along their imperceptible summarization. Our NIS reveals the underlying inconsistency, thereby, according to our experiments and investigations, contributes to the identification accuracy of fake news that engrafts untampered images.


title: The Contribution of Charged Bosons with Right-Handed Neutrinos to the Muon g-2 Anomaly in the Twin Higgs Models

abstract: We examine the charged boson and right-handed neutrino contribution to the muon g-2 anomaly in the twin Higgs models with the joint constraints of the Higgs global fit data, the precision electroweak data, the leptonic flavor changing decay \mu \to e\gamma, and the mass requirement of the heavy gauge bosons. It comes out with the conclusion that some parameters such as the coupling of charged Higgs to the lepton y_\mu, the top Yukawa y_t, and the heavy gauge boson coupling to the lepton V_\mu are constrained roughly in the range of 0.12\lesssim y_\mu\lesssim 0.4, 0.4\lesssim y_t\lesssim 0.9, and 0.47\lesssim V_\mu\lesssim 1, respectively.


title: On regularity of functions of Markov chains

abstract: We consider processes which are functions of finite-state Markov chains. It is well known that such processes are rarely Markov. However, such processes are often regular in the following sense: the distant past values of the process have diminishing influence on the distribution of the present value. In the present paper, we present novel sufficient conditions for regularity of functions of Markov chains.


title: Self-regulating turbulence

abstract: A landmark of out-of-equilibrium physics is Kolmogorov's phenomenological theory of turbulence. However, the past 20 years have provided evidence of a new, universal type of turbulence cascade, which does not abide to Kolmogorov physics. To address this issue, we revise the classical Kolmogorov cascade, by superimposing on it a mechanism of active information exchange between large and small scales. The new theory yields predictions for the dissipation rate, integral length scale and turbulence kinetic energy, as well as a criterion for the transition of the system from the new, to the classical physics in decaying turbulence. The assumptions and predictions are validated using large-scale simulations and data from the literature.


title: Search for GeV Neutrino Emission During Intense Gamma-Ray Solar Flares with the IceCube Neutrino Observatory

abstract: Solar flares convert magnetic energy into thermal and non-thermal plasma energy, the latter implying particle acceleration of charged particles such as protons. Protons are injected out of the coronal acceleration region and can interact with dense plasma in the lower solar atmosphere, producing mesons that subsequently decay into gamma rays and neutrinos at O(MeV-GeV) energies. We present the results of the first search for GeV neutrinos emitted during solar flares carried out with the IceCube Neutrino Observatory. While the experiment was originally designed to detect neutrinos with energies between 10 GeV and a few PeV, a new approach allowing for a O(GeV) energy threshold will be presented. The resulting limits allow us to constrain some of the theoretical estimates of the expected neutrino flux.


title: Duration-Squeezing-Aware Communication and Computing for Proactive VR

abstract: Proactive tile-based virtual reality video streaming computes and delivers the predicted tiles to be requested before playback. All existing works overlook the important fact that computing and communication (CC) tasks for a segment may squeeze the time for the tasks for the next segment, which will cause less and less available time for the latter segments. In this paper, we jointly optimize the durations for CC tasks to maximize the completion rate of CC tasks under the task duration-squeezing-aware constraint. To ensure the latter segments remain enough time for the tasks, the CC tasks for a segment are not allowed to squeeze the time for computing and delivering the subsequent segment. We find the closed-form optimal solution, from which we find a minimum-resource-limited, an unconditional and a conditional resource-tradeoff regions, which are determined by the total time for proactive CC tasks and the playback duration of a segment. Owing to the duration-squeezing-prohibited constraints, the increase of the configured resources may not be always useful for improving the completion rate of CC tasks. Numerical results validate the impact of the duration-squeezing-prohibited constraints and illustrate the three regions.


title: Evolutionary Mutation-based Fuzzing as Monte Carlo Tree Search

abstract: Coverage-based greybox fuzzing (CGF) has been approved to be effective in finding security vulnerabilities. Seed scheduling, the process of selecting an input as the seed from the seed pool for the next fuzzing iteration, plays a central role in CGF. Although numerous seed scheduling strategies have been proposed, most of them treat these seeds independently and do not explicitly consider the relationships among the seeds. In this study, we make a key observation that the relationships among seeds are valuable for seed scheduling. We design and propose a "seed mutation tree" by investigating and leveraging the mutation relationships among seeds. With the "seed mutation tree", we further model the seed scheduling problem as a Monte-Carlo Tree Search (MCTS) problem. That is, we select the next seed for fuzzing by walking this "seed mutation tree" through an optimal path, based on the estimation of MCTS. We implement two prototypes, AlphaFuzz on top of AFL and AlphaFuzz++ on top of AFL++. The evaluation results on three datasets (the UniFuzz dataset, the CGC binaries, and 12 real-world binaries) show that AlphaFuzz and AlphaFuzz++ outperform state-of-the-art fuzzers with higher code coverage and more discovered vulnerabilities. In particular, AlphaFuzz discovers 3 new vulnerabilities with CVEs.


title: The questionable impact of population-wide public testing in reducing SARS-CoV-2 infection prevalence in the Slovak Republic

abstract: Mina and Andersen, authors of the Perspectives in Science: COVID-19 Testing: One Size Does Not Fit All have referred to results and adopted conclusions from recently published governmental report Pavelka et al. "The effectiveness of population wide, rapid antigen test based screening in reducing SARS-CoV-2 infection prevalence in Slovakia" without critical consideration, and rigorous verification. We demonstrate that the authors refer to conclusions that are not supported by experimental data. Further, there is a lack of objective, independent information and studies regarding the widespread, public testing program currently in force in the Slovak Republic. We offer an alternative explanation of observed data as they have been provided by the Slovak Republic government to fill this information gap. We also provide explanations and conclusions that more accurately describe viral spread dynamics. Drawing from available public data and our simple but rigorous analysis, we show that it is not possible to make clear conclusions about any positive impact of the public testing program in the Slovak Republic. In particular, it is not possible to conclude that this testing program forces the curve down for the SARS-CoV-2 virus outbreak. We think that Pavelka et al. did not consider many fundamental phenomena in their proposed computer simulations and data analysis - in particular: the complexity of SARS-CoV-2 virus spread. In complex spatio-temporal dynamical systems, small spatio-temporal fluctuations can dramatically change the dynamics of virus spreading on large scales.


title: Loop parametric scattering of cavity polaritons

abstract: Within the framework of the mean-field approximation, a coherently excited two-dimensional system of weakly repulsive bosons is predicted to show a giant loop scattering when the rotational symmetry is reduced. The considered process combines (i) the parametric decay of the driven condensate into different k-states and (ii) their massive back scattering owing to spontaneous synchronization of several four-wave mixing channels. The hybridization of the direct and inverse scattering processes, which are different and thus do not balance each other, makes the condensate oscillate under constant one-mode excitation. In particular, the amplitude of a polariton condensate excited by a resonant electromagnetic wave in a uniform polygonal GaAs-based microcavity is expected to oscillate in the sub-THz frequency domain.


title: Transport equations with nonlocal diffusion and applications to Hamilton-Jacobi equations

abstract: We investigate regularity and a priori estimates for Fokker-Planck and Hamilton-Jacobi equations with unbounded ingredients driven by the fractional Laplacian of order $s\in(1/2,1)$. As for Fokker-Planck equations, we establish integrability estimates under a fractional version of the Aronson-Serrin interpolated condition on the velocity field and Bessel regularity when the drift has low Lebesgue integrability with respect to the solution itself. Using these estimates, through the Evans' nonlinear adjoint method we prove new integral, sup-norm and H\"older estimates for weak and strong solutions to fractional Hamilton-Jacobi equations with unbounded right-hand side and polynomial growth in the gradient. Finally, by means of these latter results, exploiting Calder\'on-Zygmund-type regularity for linear nonlocal PDEs and fractional Gagliardo-Nirenberg inequalities, we deduce optimal $L^q$-regularity for fractional Hamilton-Jacobi equations.


title: Poisson-Hopf deformations of Lie-Hamilton systems revisited: deformed superposition rules and applications to the oscillator algebra

abstract: The formalism for Poisson-Hopf (PH) deformations of Lie-Hamilton systems is refined in one of its crucial points concerning applications, namely the obtention of effective and computationally feasible PH deformed superposition rules for prolonged PH deformations of Lie-Hamilton systems. The two new notions here proposed are a generalization of the standard superposition rules and the concept of diagonal prolongations for Lie systems, which are consistently recovered under the non-deformed limit. Using a technique from superintegrability theory, we obtain a maximal number of functionally independent constants of the motion for a generic prolonged PH deformation of a Lie-Hamilton system, from which a simplified deformed superposition rule can be derived. As an application, explicit deformed superposition rules for prolonged PH deformations of Lie-Hamilton systems based on the oscillator Lie algebra ${h}_4$ are computed. Moreover, by making use that the main structural properties of the book subalgebra ${b}_2$ of ${h}_4$ are preserved under the PH deformation, we consider prolonged PH deformations based on ${b}_2$ as restrictions of those for ${h}_4$-Lie-Hamilton systems, thus allowing the study of prolonged PH deformations of the complex Bernoulli equations, for which both the constants of the motion and the deformed superposition rules are explicitly presented.


title: The size, multipartite Ramsey numbers for nK2 versus path-path and cycle

abstract: For given graphs $G_1, G_2,\ldots, G_n$ and any integer $j$, the size of the multipartite Ramsey number $m_j(G_1, G_2,\ldots, G_n)$ is the smallest positive integer $t$ such that any $n$-coloring of the edges of $K_{j\times t}$ contains a monochromatic copy of $G_i$ in color $i$ for some $i$, $1 \leq i \leq n$, where $K_{j\times t}$ denotes the complete multipartite graph having $j$ classes with $t$ vertices per each class. In this paper we compute the size of the multipartite Ramsey number $m_j(K_{1,2}, P_4, nK_2)$ for any $j,n\geq 2$ and $m_j(nK_2,C_7)$, for any $j\leq4$ and $n\geq 2$.


title: Freeze-in self-interacting dark matter in warped extra dimension

abstract: A classically scale-invariant scalar singlet can be a MeV-scale dark matter, with a feeble Higgs portal coupling at $\mathcal{O}(10^{-10})$. Besides, an $\mathcal{O}(0.1)$ self-interaction coupling could further serve to alleviate the small-scale problems in the Universe. We show that, such a dark matter candidate can naturally arise in the warped extra dimension, with the huge span of parameter space predicted well within $\mathcal{O}(1)$ fundamental parameters.


title: Colored HOMFLYPT counts holomorphic curves

abstract: We compute the contribution of all multiple covers of an isolated rigid embedded holomorphic annulus, stretching between Lagrangians, to the skein-valued count of open holomorphic curves in a Calabi-Yau 3-fold. The result agrees with the predictions from topological string theory and we use it to prove the Ooguri-Vafa formula that identifies the colored HOMFLYPT invariants of a link with a count of holomorphic curves ending on the conormal Lagrangian of the link in the resolved conifold. This generalizes our previous work which proved the result for the fundamental color.


title: Conservation of Angular Momentum in the Elastic Medium with Spins

abstract: Exact conservation of the angular momentum is worked out for an elastic medium with spins. The intrinsic anharmonicity of the elastic theory is shown to be crucial for conserving the total momentum. As a result, any spin-lattice dynamics inevitably involves multiphonon processes and interaction between phonons. This makes transitions between spin states in a solid fundamentally different from transitions between atomic states in vacuum governed by linear electrodynamics. Consequences for using solid-state spins as qubits are discussed.


title: Verifying Global Optimality of Candidate Solutions to Polynomial Optimization Problems using a Determinant Relaxation Hierarchy

abstract: We propose a method for verifying that a given feasible point for a polynomial optimization problem is globally optimal. The approach relies on the Lasserre hierarchy and the result of Lasserre regarding the importance of the convexity of the feasible set as opposed to that of the individual constraints. By focusing solely on certifying global optimality and relaxing the Lasserre hierarchy using necessary conditions for positive semidefiniteness based on matrix determinants, the proposed method is implementable as a computationally tractable linear program. We demonstrate this method via application to several instances of polynomial optimization, including the optimal power flow problem used to operate electric power systems.


title: Dual-Mode Volumetric Optoacoustic and Contrast Enhanced Ultrasound Imaging with Spherical Matrix Arrays

abstract: Spherical matrix arrays arguably represent an advantageous tomographic detection geometry for non-invasive deep tissue mapping of vascular networks and oxygenation with volumetric optoacoustic tomography (VOT). Hybridization of VOT with ultrasound (US) imaging remains difficult with this configuration due to the relatively large inter-element pitch of spherical arrays. We suggest a new approach for combining VOT and US contrast-enhanced imaging employing injection of clinically-approved microbubbles. Power Doppler (PD) and US localization imaging were enabled with a sparse US acquisition sequence and model-based inversion based on infimal convolution of total variation (ICTV) regularization. Experiments in tissue-mimicking phantoms and in vivo in mice demonstrate the powerful capabilities of the new dual-mode imaging system for blood velocity mapping and anatomical imaging with enhanced resolution and contrast.


title: Liouville-type results in two dimensions for stationary points of functionals with linear growth

abstract: We consider variational integrals of linear growth satisfying the condition of $\mu$-ellipticity for some exponent $\mu >1$ and prove that stationary points $u$: $\mathbb{R}^2 \to \mathbb{R}^N$ with the property \[ \limsup_{|x|\to \infty} \frac{|u(x)|}{|x|} < \infty \] must be affine functions. The latter condition can be dropped in the scalar case together with appropriate assumptions on the energy density providing an extension of Bernstein's theorem.


title: Coupling approach for exponential ergodicity of stochastic Hamiltonian systems with L\'evy noises

abstract: We establish exponential ergodicity for the stochastic Hamiltonian system $(X_t, V_t)_{t\ge0}$ on $\mathbb{R}^{2d}$ with L\'evy noises \begin{align*} \begin{cases} \mathrm{d} X_t=\big(a X_t+bV_t\big)\,\mathrm{d} t,\\ \mathrm{d} V_t=U(X_t,V_t)\,\mathrm{d} t+\mathrm{d} L_t, \end{cases} \end{align*} where $a\ge 0$, $b> 0$, $U:\mathbb{R}^{2d}\to\mathbb{R}^d$ and $(L_t)_{t\ge0}$ is an $\mathbb{R}^d$-valued pure jump L\'{e}vy process. The approach is based on a new refined basic coupling for L\'evy processes and a Lyapunov function for stochastic Hamiltonian systems. In particular, we can handle the case that $U(x,v)=-v-\nabla U_0(x)$ with double well potential $U_0$ which is super-linear growth at infinity such as $U_0(x)=c_1(1+|x|^2)^l-c_2|x|^2$ with $l>1$ or $U_0(x) = c_1\mathrm{e}^{(1+|x|^2)^l} - c_2|x|^2$ with $l>0$ for any $c_1,c_2>0$, and also deal with the case that the L\'evy measure $\nu$ of $(L_t)_{t\ge0}$ is degenerate in the sense that $$\nu(\mathrm{d} z)\ge \frac{c}{|z|^{d+\theta_0}} \mathbb{I}_{\{0<z_1\le 1\}}\,\mathrm{d} z$$ for some $c>0$ and $\theta_0\in (0,2)$, where $z_1$ is the first component of the vector $z\in \mathbb{R}^d$.


title: What does the consumer know about the environmental damage caused by the disposable cup and the need to replace it

abstract: The objective of this work was to know the amount and frequency with which the people of Arandas in the Altos de Jalisco region use disposable cups and then know how willing they are to use edible cups made with natural gelatin. In this regard, it is worth commenting that these can not only be nutritious for those who consume them (since gelatin is a fortifying nutrient created from the skin and bone of pigs and cows), but they could also be degraded in a few days or be ingested by animals. To collect the information, a survey consisting of six questions was used, which was applied to 31 people by telephone and another 345 personally (in both cases they were applied to young people and adults). The results show that the residents of that town considerably use plastic cups in the different events that take place each week, which are more numerous during the patron saint festivities or at the end of the year. Even so, these people would be willing to change these habits, although for this, measures must be taken that do not affect the companies in that area, which work mainly with plastics and generate a high percentage of jobs.


title: Labeled trees generating complete, compact, and discrete ultrametric spaces

abstract: We investigate the interrelations between labeled trees and ultrametric spaces generated by these trees. The labeled trees, which generate complete ultrametrics, totally bounded ultrametrics, and discrete ones, are characterized up to isomorphism. As corollary, we obtain a characterization of labeled trees generating compact ultrametrics, and discrete totally bounded ultrametrics. It is also shown that every ultrametric space generated by labeled tree contains a dense discrete subspace.


title: Anderson localization and reentrant delocalization of tensorial elastic waves in two-dimensional fractured media

abstract: We study two-dimensional tensorial elastic wave transport in densely fractured media and document transitions from propagation to diffusion and to localization/delocalization. For large fracture stiffness, waves are propagative at the scale of the system. For small stiffness, multiple scattering prevails, such that waves are diffusive in disconnected fracture networks, and localized in connected ones with a strong multifractality of the intensity field. A reentrant delocalization is found in well-connected networks due to energy leakage via evanescent waves and cascades of mode conversion.


title: On Secure Degrees of Freedom of the MIMO Interference Channel with Local Output Feedback

abstract: This paper studies the problem of sum-secure degrees of freedom (SDoF) of the (M,M,N,N) multiple-input multiple-output (MIMO) interference channel with local output feedback, so as to build an information-theoretic foundation and provide practical transmission schemes for 6G-enabled vehicles-to-vehicles (V2V). For this problem, we propose two novel transmission schemes, i.e., the interference decoding scheme and the interference alignment scheme, and thus establish a sum-SDoF lower bound. In particular, to optimize the phase duration, we analyze the security and decoding constraints and formulate a linear-fractional optimization problem. Furthermore, we show that the derived sum-SDoF lower bound is the sum-SDoF for M <= N/2, N=M, and 2N <= M antenna configurations, and reveal that for a fixed N, the optimal M to maximize the sum-SDoF is not less than 2N. Through simulations, we examine the secure sum-rate performance of proposed transmission schemes, and reveal that using local output feedback can lead to a higher secure sum-rate than that by using delayed channel state information at the transmitter.


title: A comparison of matrix-free isogeometric Galerkin and collocation methods for Karhunen--Lo\`eve expansion

abstract: Numerical computation of the Karhunen--Lo\`eve expansion is computationally challenging in terms of both memory requirements and computing time. We compare two state-of-the-art methods that claim to efficiently solve for the K--L expansion: (1) the matrix-free isogeometric Galerkin method using interpolation based quadrature proposed by the authors in [1] and (2) our new matrix-free implementation of the isogeometric collocation method proposed in [2]. Two three-dimensional benchmark problems indicate that the Galerkin method performs significantly better for smooth covariance kernels, while the collocation method performs slightly better for rough covariance kernels.


title: Orthogonal decomposition of definable groups

abstract: Orthogonality in model theory captures the idea of absence of non-trivial interactions between definable sets. We introduce a somewhat opposite notion of cohesiveness, capturing the idea of interaction among all parts of a given definable set. A cohesive set is indecomposable, in the sense that if it is internal to the product of two orthogonal sets, then it is internal to one of the two. We prove that a definable group in an o-minimal structure is a product of cohesive orthogonal subsets. If the group has dimension one, or it is definably simple, then it is itself cohesive. Finally, we show that an abelian group definable in the disjoint union of finitely many o-minimal structures is a quotient, by a discrete normal subgroup, of a direct product of locally definable groups in the single structures.


title: A Marching Cube Algorithm Based on Edge Growth

abstract: Marching Cube algorithm is currently one of the most popular 3D reconstruction surface rendering algorithms. It forms cube voxels through the input image, and then uses 15 basic topological configurations to extract the iso-surfaces in the voxels. It processes each cube voxel in a traversal manner, but it does not consider the relationship between iso-surfaces in adjacent cubes. Due to ambiguity, the final reconstructed model may have holes. We propose a Marching Cube algorithm based on edge growth. The algorithm first extracts seed triangles, then grows the seed triangles and reconstructs the entire 3D model. According to the position of the growth edge, we propose 17 topological configurations with iso-surfaces. From the reconstruction results, the algorithm can reconstruct the 3D model well. When only the main contour of the 3D model needs to be organized, the algorithm performs well. In addition, when there are multiple scattered parts in the data, the algorithm can extract only the 3D contours of the parts connected to the seed by setting the region selected by the seed.


title: An asymptotic expansion of Selberg's central limit theorem near the critical line

abstract: We find an asymptotic expansion of Selberg's central limit theorem for the Riemann zeta function on $\sigma = \frac12 + ( \log T)^{-\theta}$ and $t \in [T, 2T]$, where $ 0 < \theta < \frac12$ is a constant.


title: Outcome-Explorer: A Causality Guided Interactive Visual Interface for Interpretable Algorithmic Decision Making

abstract: The widespread adoption of algorithmic decision-making systems has brought about the necessity to interpret the reasoning behind these decisions. The majority of these systems are complex black box models, and auxiliary models are often used to approximate and then explain their behavior. However, recent research suggests that such explanations are not overly accessible to lay users with no specific expertise in machine learning and this can lead to an incorrect interpretation of the underlying model. In this paper, we show that a predictive and interactive model based on causality is inherently interpretable, does not require any auxiliary model, and allows both expert and non-expert users to understand the model comprehensively. To demonstrate our method we developed Outcome Explorer, a causality guided interactive interface, and evaluated it by conducting think-aloud sessions with three expert users and a user study with 18 non-expert users. All three expert users found our tool to be comprehensive in supporting their explanation needs while the non-expert users were able to understand the inner workings of a model easily.


title: Totally Umbilical Hypersurfaces of Product Spaces

abstract: Given a Riemannian manifold $M,$ and an open interval $I\subset\mathbb{R},$ we characterize nontrivial totally umbilical hypersurfaces of the product $M\times I$ -- as well as of warped products $I\times_\omega M$ -- as those which are local graphs built on isoparametric families of totally umbilical hypersurfaces of $M.$ By means of this characterization, we fully extend to $\mathbb{S}^n\times\mathbb{R}$ and $\mathbb{H}^n\times\mathbb{R}$ the results by Souam and Toubiana on the classification of totally umbilical hypersurfaces of $\mathbb{S}^2\times\mathbb{R}$ and $\mathbb{H}^2\times\mathbb{R}.$ It is also shown that an analogous classification holds for arbitrary warped products $I\times_\omega\mathbb{S}^n$ and $I\times_\omega\mathbb{H}^n.$


title: Quantitative sheaf theory

abstract: We introduce a notion of complexity of a complex of ell-adic sheaves on a quasi-projective variety and prove that the six operations are "continuous", in the sense that the complexity of the output sheaves is bounded solely in terms of the complexity of the input sheaves. A key feature of complexity is that it provides bounds for the sum of Betti numbers that, in many interesting cases, can be made uniform in the characteristic of the base field. As an illustration, we discuss a few simple applications to horizontal equidistribution results for exponential sums over finite fields.


title: Very weak fragments of weak K\H{o}nig's lemma

abstract: It is well-known that any finite $\Pi^{0}_{1}$-class of $2^{\mathbb N}$ has a computable member. Then, how can we understand this in the context of reverse mathematics? In this note, we consider several very weak fragments of K\H{o}nig's lemma to answer this qeustion.


title: Mirror mode junctions as sources of radiation

abstract: Mirror modes in collisionless high-temperature plasmas represent macroscopic high-temperature quasi-superconductors with bouncing electrons in discrete-particle resonance with thermal ion-sound noise contributing to the ion-mode growth beyond quasilinear stability. In the semi-classical GL approximation the conditions for phase transition are given. The quasi-superconducting state is of second kind causing a magnetically perforated plasma texture. Focussing on the interaction of mirror bubbles we apply semi-classical Josephson conditions and show that a mirror perforated plasma emits weak electromagnetic radiation which in the magnetosheath is in the sub-millimeter respectively infrared range.


title: Rejuvenating the hope of a swampland consistent inflated multiverse with tachyonic inflation in the high energy RS-II Braneworld

abstract: The swampland conjectures from string theory have had some really interesting implications on cosmology, in particular on inflationary models. Some models of inflation have been shown to be incompatible with these criterion while some have been shown to be severely fine tuned, with most of these problems arising in single field inflationary models in a General relativistic cosmology. Recent works have although optimistically shown that single field models in more general cosmologies can be consistent with these conjectures and hence there is an optimism that not all such models lie in the swampland. However a paradigm of inflation which has been shown to not be perfectly okay with the conjectures is eternal inflation. So in this work, we discuss Tachyonic inflation in the high energy RS-II Braneworld scenario in the context of the swampland conjectures while also considering the possibility of swampland consistent eternal inflation. We show that our concerned regime evades all the prominent swampland issues for single field inflation being virtually unscathed. After this, we show that the main conflicts of eternal inflation with the swampland can easily be resolved in the considered tachyonic scenario and in particular, we also discuss the exciting prospect of a Generalized Uncertainty Principle facilitating the notion of Swampland consistent eternal inflation. Our work as a whole reignites the possibility that there can be a swampland (and possibly, quantum gravitationally) consistent picture of a "Multiverse".


title: Multiepoch VLT-FORS spectro-polarimetric observations of supernova 2012aw reveal an asymmetric explosion

abstract: We present VLT-FORS spectropolarimetric observations of the type II supernova (SN) 2012aw taken at seven epochs during the photospheric phase, from 16 to 120d after explosion. We correct for the interstellar polarization by postulating that the SN polarization is naught near the rest wavelength of the strongest lines - this is later confirmed by our modeling. SN2012aw exhibits intrinsic polarization, with strong variations across lines, and with a magnitude that grows in the 7000A line-free region from 0.1% at 16d up to 1.2% at 120d. This behavior is qualitatively similar to observations gathered for other type II SNe. A suitable rotation of Stokes vectors places the bulk of the polarization in q, suggesting the ejecta of SN2012aw is predominantly axisymmetric. Using an upgraded version of our 2D polarized radiative transfer code, we model the wavelength- and time-dependent polarization of SN2012aw. The key observables may be explained by the presence of a confined region of enhanced 56Ni at ~4000km/s, which boosts the electron density in a cone having an opening angle of ~50deg and an observer's inclination of ~70deg to the axis of symmetry. With this fixed asymmetry in time, the observed evolution of the SN2012aw polarization arises from the evolution of the ejecta optical depth, ionization, and the relative importance of multiple versus single scattering. However, the polarization signatures exhibit numerous degeneracies. Cancellation effects at early times imply that a low polarization may occur for ejecta with a large asymmetry. An axisymmetric ejecta with a latitude-dependent explosion energy can also yield similar polarization signatures as an asymmetric 56Ni distribution. Despite these uncertainties, SN2012aw provides additional evidence for the generic asymmetry of type II SN ejecta, of which VLT-FORS spectropolarimetric observations are a decisive and exquisite probe.


title: Infinite Volume and Infinite Injectivity Radius

abstract: We prove the following conjecture of Margulis. Let $G$ be a higher rank simple Lie group and let $\Lambda\le G$ be a discrete subgroup of infinite covolume. Then, the locally symmetric space $\Lambda\backslash G/K$ admits injected balls of any radius. This can be considered as a geometric interpretation of the celebrated Margulis normal subgroup theorem. However, it applies to general discrete subgroups not necessarily associated to lattices. Yet, the result is new even for subgroups of infinite index of lattices. We establish similar results for higher rank semisimple groups with Kazhdan's property (T). We prove a stiffness result for discrete stationary random subgroups in higher rank semisimple groups and a stationary variant of the St\"{u}ck-Zimmer theorem for higher rank semisimple groups with property (T). We also show that a stationary limit of a measure supported on discrete subgroups is almost surely discrete.


title: Degenerate Horava gravity

abstract: Horava gravity breaks Lorentz symmetry by introducing a dynamical timelike scalar field (the khronon), which can be used as a preferred time coordinate (thus selecting a preferred space-time foliation). Adopting the khronon as the time coordinate, the theory is invariant only under time reparametrizations and spatial diffeomorphisms. In the infrared limit, this theory is sometimes referred to as khronometric theory. Here, we explicitly construct a generalization of khronometric theory, which avoids the propagation of Ostrogradski modes as a result of a suitable degeneracy condition (although stability of the latter under radiative corrections remains an open question). While this new theory does not have a general-relativistic limit and does not yield a Friedmann-Robertson-Walker-like cosmology on large scales, it still passes, for suitable choices of its coupling constants, local tests on Earth and in the solar system, as well as gravitational-wave tests. We also comment on the possible usefulness of this theory as a toy model of quantum gravity, as it could be completed in the ultraviolet into a 'degenerate Horava gravity' theory that could be perturbatively renormalizable without imposing any projectability condition.


title: Symmetry Implies Isomorphism for Certain Maximum Length Circuit Codes

abstract: A classic result due to Douglas establishes that, for odd spread $k$ and dimension $d=\frac{1}{2}(3k+3)$, all maximum length $(d,k)$ circuit codes are isomorphic. Using a recent result of Byrnes we extend Douglas's theorem to prove that, for $k$ even $\ge 4$ and $d=\frac{1}{2}(3k+4)$, all maximum length symmetric $(d,k)$ circuit codes are isomorphic.


title: Skein and cluster algebras of unpunctured surfaces for $\mathfrak{sl}_3$

abstract: For an unpunctured marked surface $\Sigma$, we consider a skein algebra $\mathscr{S}_{\mathfrak{sl}_{3},\Sigma}^{q}$ consisting of $\mathfrak{sl}_3$-webs on $\Sigma$ with the boundary skein relations at marked points. We construct a quantum cluster algebra $\mathscr{A}^q_{\mathfrak{sl}_3,\Sigma}$ inside the skew-field $\mathrm{Frac}\mathscr{S}_{\mathfrak{sl}_{3},\Sigma}^{q}$ of fractions, which quantizes the cluster $K_2$-structure on the moduli space $\mathcal{A}_{SL_3,\Sigma}$ of decorated $SL_3$-local systems on $\Sigma$. We show that the cluster algebra $\mathscr{A}^q_{\mathfrak{sl}_3,\Sigma}$ contains the boundary-localized skein algebra $\mathscr{S}_{\mathfrak{sl}_{3},\Sigma}^{q}[\partial^{-1}]$ as a subalgebra, and their natural structures, such as gradings and certain group actions, agree with each other. We also give an algorithm to compute the Laurent expressions of a given $\mathfrak{sl}_3$-web in certain clusters and discuss the positivity of coefficients. In particular, we show that the bracelets and the bangles along an oriented simple loop in $\Sigma$ have Laurent expressions with positive coefficients, hence give rise to quantum GS-universally positive Laurent polynomials.


title: Target Control of Asynchronous Boolean Networks

abstract: We study the target control of asynchronous Boolean networks, to identify efficacious interventions that can drive the dynamics of a given Boolean network from any initial state to the desired target attractor. Based on the application time, the control can be realised with three types of perturbations, including instantaneous, temporary and permanent perturbations. We develop efficient methods to compute the target control for a given target attractor with three types of perturbations. We compare our methods with the stable motif-based control on a variety of real-life biological networks to evaluate their performance. We show that our methods scale well for large Boolean networks and they are able to identify a rich set of solutions with a small number of perturbations.


title: Broad Distribution of Local I/Br Ratio in Illuminated Mixed Halide Perovskite Films Revealed by Correlative X-ray Diffraction and Photoluminescence

abstract: Photo-induced phase-segregation in mixed halide perovskite MAPb(BrxI1-x)3 is investigated in the full compositional range by correlative X-ray diffraction and photo-luminescence experiments.


title: AttnMove: History Enhanced Trajectory Recovery via Attentional Network

abstract: A considerable amount of mobility data has been accumulated due to the proliferation of location-based service. Nevertheless, compared with mobility data from transportation systems like the GPS module in taxis, this kind of data is commonly sparse in terms of individual trajectories in the sense that users do not access mobile services and contribute their data all the time. Consequently, the sparsity inevitably weakens the practical value of the data even it has a high user penetration rate. To solve this problem, we propose a novel attentional neural network-based model, named AttnMove, to densify individual trajectories by recovering unobserved locations at a fine-grained spatial-temporal resolution. To tackle the challenges posed by sparsity, we design various intra- and inter- trajectory attention mechanisms to better model the mobility regularity of users and fully exploit the periodical pattern from long-term history. We evaluate our model on two real-world datasets, and extensive results demonstrate the performance gain compared with the state-of-the-art methods. This also shows that, by providing high-quality mobility data, our model can benefit a variety of mobility-oriented down-stream applications.


title: In-Ear SpO2 for Classification of Cognitive Workload

abstract: Classification of cognitive workload promises immense benefit in diverse areas ranging from driver safety to augmenting human capability through closed loop brain computer interface. The brain is the most metabolically active organ in the body and increases its metabolic activity and thus oxygen consumption with increasing cognitive demand. In this study, we explore the feasibility of in-ear SpO2 cognitive workload tracking. To this end, we preform cognitive workload assessment in 8 subjects, based on an N-back task, whereby the subjects are asked to count and remember the number of odd numbers displayed on a screen in 5 second windows. The 2 and 3-back tasks lead to either the lowest median absolute SpO2 or largest median decrease in SpO2 in all of the subjects, indicating a robust and measurable decrease in blood oxygen in response to increased cognitive workload. Using features derived from in-ear pulse oximetry, including SpO2, pulse rate and respiration rate, we were able to classify the 4 N-back task categories, over 5 second epochs, with a mean accuracy of 94.2%. Moreover, out of 21 total features, the 9 most important features for classification accuracy were all SpO2 related features. The findings suggest that in-ear SpO2 measurements provide valuable information for classification of cognitive workload over short time windows, which together with the small form factor promises a new avenue for real time cognitive workload tracking.


title: Governmental incentives for green bonds investment

abstract: Motivated by the recent studies on the green bond market, we build a model in which an investor trades on a portfolio of green and conventional bonds, both issued by the same governmental entity. The government provides incentives to the bondholder in order to increase the amount invested in green bonds. These incentives are, optimally, indexed on the prices of the bonds, their quadratic variation and covariation. We show numerically on a set of French governmental bonds that our methodology outperforms the current tax-incentives systems in terms of green investments. Moreover, it is robust to model specification for bond prices and can be applied to a large portfolio of bonds using classical optimisation methods.


title: A scheduling algorithm for networked control systems

abstract: This paper deals with the design of scheduling logics for Networked Control Systems (NCSs) whose shared communication networks have limited capacity. We assume that among \(N\) plants, only \(M\:(< N)\) plants can communicate with their controllers at any time instant. We present an algorithm to allocate the network to the plants periodically such that stability of each plant is preserved. The main apparatus for our analysis is a switched systems representation of the individual plants in an NCS. We rely on multiple Lyapunov-like functions and graph-theoretic arguments to design our scheduling logics. The set of results presented in this paper is a continuous-time counterpart of the results proposed in [15]. We present a set of numerical experiments to demonstrate the performance of our techniques.


title: A Tutorial on the Mathematical Model of Single Cell Variational Inference

abstract: As the large amount of sequencing data accumulated in past decades and it is still accumulating, we need to handle the more and more sequencing data. As the fast development of the computing technologies, we now can handle a large amount of data by a reasonable of time using the neural network based model. This tutorial will introduce the the mathematical model of the single cell variational inference (scVI), which use the variational auto-encoder (building on the neural networks) to learn the distribution of the data to gain insights. It was written for beginners in the simple and intuitive way with many deduction details to encourage more researchers into this field.


title: Deep-Learned Approximate Message Passing for Asynchronous Massive Connectivity

abstract: This paper considers the massive connectivity problem in an asynchronous grant-free random access system, where a huge number of devices sporadically transmit data to a base station (BS) with imperfect synchronization. The goal is to design algorithms for joint user activity detection, delay detection, and channel estimation. By exploiting the sparsity on both user activity and delays, we formulate a hierarchical sparse signal recovery problem in both the single-antenna and the multiple-antenna scenarios. While traditional compressed sensing algorithms can be applied to these problems, they suffer high computational complexity and often require the perfect statistical information of channel and devices. This paper solves these problems by designing the Learned Approximate Message Passing (LAMP) network, which belongs to model-driven deep learning approaches and ensures efficient performance without tremendous training data. Particularly, in the multiple-antenna scenario, we design three different LAMP structures, namely, distributed, centralized and hybrid ones, to balance the performance and complexity. Simulation results demonstrate that the proposed LAMP networks can significantly outperform the conventional AMP method thanks to their ability of parameter learning. It is also shown that LAMP has robust performance to the maximal delay spread of the asynchronous users.


title: Depth as Attention for Face Representation Learning

abstract: Face representation learning solutions have recently achieved great success for various applications such as verification and identification. However, face recognition approaches that are based purely on RGB images rely solely on intensity information, and therefore are more sensitive to facial variations, notably pose, occlusions, and environmental changes such as illumination and background. A novel depth-guided attention mechanism is proposed for deep multi-modal face recognition using low-cost RGB-D sensors. Our novel attention mechanism directs the deep network "where to look" for visual features in the RGB image by focusing the attention of the network using depth features extracted by a Convolution Neural Network (CNN). The depth features help the network focus on regions of the face in the RGB image that contains more prominent person-specific information. Our attention mechanism then uses this correlation to generate an attention map for RGB images from the depth features extracted by CNN. We test our network on four public datasets, showing that the features obtained by our proposed solution yield better results on the Lock3DFace, CurtinFaces, IIIT-D RGB-D, and KaspAROV datasets which include challenging variations in pose, occlusion, illumination, expression, and time-lapse. Our solution achieves average (increased) accuracies of 87.3\% (+5.0\%), 99.1\% (+0.9\%), 99.7\% (+0.6\%) and 95.3\%(+0.5\%) for the four datasets respectively, thereby improving the state-of-the-art. We also perform additional experiments with thermal images, instead of depth images, showing the high generalization ability of our solution when adopting other modalities for guiding the attention mechanism instead of depth information


title: Uniform Boundedness Principle and Hahn-Banach Theorem for b-linear functional related to linear 2-normed space

abstract: In this paper, we will see that the Cartesian product of two 2-Banach spaces is also 2-Banach space and discuss some properties of closed linear operator in linear 2-normed space. We also describe the concept of different types of continuity of b-linear functional and derive the Uniform Boundedness Principle and Hahn-Banach extension theorem for b-linear functionals in the case of linear 2-normed spaces. We also introduce the notion of weak*convergence for the sequence of bounded b-linear functionals relative to linear 2-normed space.


title: Comparing $f(R)$ modified gravity and noncommutative geometry in the context of dark matter and traversable wormholes: a survey

abstract: Noncommutative geometry, as conceptualized by Nicolini, Smailagic, and Spallucci, may be viewed as a slight modification of Einstein's theory. The same can be said for $f(R)$ modified gravity for an appropriate choice of the function $f(R)$. Since such an $f(R)$ could be determined from the noncommutative-geometry background, these gravitational theories make very similar predictions in the discussion of (a) dark matter and (b) traversable wormholes; they can therefore be taken as equally viable models.


title: Irregular $\mathcal{B}$-free Toeplitz sequences via Besicovitch's construction of sets of multiples without density

abstract: Modifying Besicovitch's construction of a set $\mathcal{B}$ of positive integers whose set of multiples $\mathcal{M}_{\mathcal{B}}$ has no asymptotic density, we provide examples of such sets $\mathcal{B}$ for which $\eta:=1_{\mathbb{Z}\setminus\mathcal{M}_{\mathcal{B}}}\in\{0,1\}^{\mathbb{Z}}$ is a Toeplitz sequence. Moreover our construction produces examples, for which $\eta$ is not only quasi-generic for the Mirsky measure (which has discrete dynamical spectrum), but also for some measure of positive entropy. On the other hand, modifying slightly an example from Kasjan, Keller, and Lema\'nczyk, we construct a set $\mathcal{B}$ for which $\eta$ is an irregular Toeplitz sequence but for which the orbit closure of $\eta$ in $\{0,1\}^{\mathbb{Z}}$ is uniquely ergodic.


title: Mapping flows on hypergraphs

abstract: Hypergraphs offer an explicit formalism to describe multibody interactions in complex systems. To connect dynamics and function in systems with these higher-order interactions, network scientists have generalised random-walk models to hypergraphs and studied the multibody effects on flow-based centrality measures. But mapping the large-scale structure of those flows requires effective community detection methods. We derive unipartite, bipartite, and multilayer network representations of hypergraph flows and explore how they and the underlying random-walk model change the number, size, depth, and overlap of identified multilevel communities. These results help researchers choose the appropriate modelling approach when mapping flows on hypergraphs.


title: Dark Gravitational Field on Riemannian and Sasaki Spacetime

abstract: The aim of this paper is to provide the geometrical structure of a gravitational field that includes the addition of dark matter in the framework of a Riemannian and a Riemann--Sasaki spacetime. By means of the classical Riemannian geometric methods we arrive at modified geodesic equations, tidal forces, and Einstein and Raychaudhuri equations to account for extra dark gravity. We further examine an application of this approach in cosmology. Moreover, a possible extension of this model on the tangent bundle is studied in order to examine the behavior of dark matter in a unified geometric model of gravity with more degrees of freedom. Particular emphasis shall be laid on the problem of the geodesic motion under the influence of dark matter.


title: Formal Degree of Regular Supercuspidals

abstract: Supercuspidal representations are usually infinite-dimensional, so the size of such a representation cannot be measured by its dimension; the formal degree is a better alternative. Hiraga, Ichino, and Ikeda conjectured a formula for the formal degree of a supercuspidal in terms of its $L$-parameter only. Our first main result is to compute the formal degrees of the supercuspidal representations constructed by Yu. Our second, using the first, is to verify that Kaletha's regular supercuspidal $L$-packets satisfy the conjecture.


title: An a posteriori strategy for adaptive schemes in time and space

abstract: A nonlinear adaptive procedure for optimising both the schemes in time and space is proposed in view of increasing the numerical efficiency and reducing the computational time. The method is based on a four-parameter family of schemes we shall tune in function of the physical data (velocity, diffusion), the characteristic size in time and space, and the local regularity of the function leading to a nonlinear procedure. The \textit{a posteriori} strategy we adopt consists in, given the solution at time $t^n$, computing a candidate solution with the highest accurate schemes in time and space for all the nodes. Then, for the nodes that present some instabilities, both the schemes in time and space are modified and adapted in order to preserve the stability with a large time step. The updated solution is computed with node-dependent schemes both in time and space. For the sake of simplicity, only convection-diffusion problems are addressed as a prototype with a two-parameters five-points finite difference method for the spatial discretisation together with an explicit time two-parameters four-stages Runge-Kutta method. We prove that we manage to obtain an optimal time-step algorithm that produces accurate numerical approximations exempt of non-physical oscillations.


title: $k$-Inflation-corrected Einstein-Gauss-Bonnet Gravity with Massless Primordial Gravitons

abstract: In the present paper, we study the inflationary phenomenology of a $k$-inflation corrected Einstein-Gauss-Bonnet theory. Non-canonical kinetic terms are known for producing Jean instabilities or superluminal sound wave velocities in the aforementioned era, but we demonstrate in this work that by adding Gauss-Bonnet string corrections and assuming that the non-canonical kinetic term $\omega X^\gamma$ is in quadratic, one can obtain a ghost free description. Demanding compatibility with the recent GW170817 event forces one to accept that the relation $\ddot\xi=H\dot\xi$ for the scalar coupling function $\xi (\phi)$. As a result, the scalar functions of the theory are revealed to be interconnected and by assuming a specific form for one of them, specifies immediately the other. Here, we shall assume that the scalar potential is directly derivable from the equations of motion, once the Gauss-Bonnet coupling is appropriately chosen, but obviously the opposite is feasible as well. As a result, each term entering the equations of motion, can be written in terms of the scalar field and a relatively tractable phenomenology is produced. For quadratic kinetic terms, the resulting scalar potential is quite elegant functionally. Different exponents, which lead to either a more perplexed solution for the scalar potential, are still a possibility which was not further studied. We also discuss in brief the non-Gaussianities issue under the slow-roll and constant-roll conditions holding true, and we demonstrate that the predicted amount of non-Gaussianities is significantly enhanced in comparison to the $k$-inflation free Einstein-Gauss-Bonnet theory.


title: Combining Graph Neural Networks and Spatio-temporal Disease Models to Predict COVID-19 Cases in Germany

abstract: During 2020, the infection rate of COVID-19 has been investigated by many scholars from different research fields. In this context, reliable and interpretable forecasts of disease incidents are a vital tool for policymakers to manage healthcare resources. Several experts have called for the necessity to account for human mobility to explain the spread of COVID-19. Existing approaches are often applying standard models of the respective research field. This habit, however, often comes along with certain restrictions. For instance, most statistical or epidemiological models cannot directly incorporate unstructured data sources, including relational data that may encode human mobility. In contrast, machine learning approaches may yield better predictions by exploiting these data structures, yet lack intuitive interpretability as they are often categorized as black-box models. We propose a trade-off between both research directions and present a multimodal learning approach that combines the advantages of statistical regression and machine learning models for predicting local COVID-19 cases in Germany. This novel approach enables the use of a richer collection of data types, including mobility flows and colocation probabilities, and yields the lowest MSE scores throughout our observational period in our benchmark study. The results corroborate the necessity of including mobility data and showcase the flexibility and interpretability of our approach.


title: The prospects for observing [OIII] 52 micron emission from galaxies during the Epoch of Reionization

abstract: The [OIII] 88 $\mu$m fine structure emission line has been detected into the Epoch of Reionization (EoR) from star-forming galaxies at redshifts $6 < z \lesssim 9$ with ALMA. These measurements provide valuable information regarding the properties of the interstellar medium (ISM) in the highest redshift galaxies discovered thus far. The [OIII] 88 $\mu$m line observations leave, however, a degeneracy between the gas density and metallicity in these systems. Here we quantify the prospects for breaking this degeneracy using future ALMA observations of the [\oiii] 52 $\mu$m line. Among the current set of ten [OIII] 88 $\mu$m emitters at $6 < z \lesssim 9$, we forecast 52 $\mu$m detections (at 6-$\sigma$) in SXDF-NB1006-2, B14-6566, J0217-0208, and J1211-0118 within on-source observing times of 2-10 hours, provided their gas densities are larger than about $n_{\mathrm{H}} \gtrsim 10^2-10^3$ cm$^{-3}$. Other targets generally require much longer integration times for a 6-$\sigma$ detection. Either successful detections of the 52 $\mu$m line, or reliable upper limits, will lead to significantly tighter constraints on ISM parameters. The forecasted improvements are as large as $\sim 3$ dex in gas density and $\sim 1$ dex in metallicity for some regions of parameter space. We suggest SXDF-NB1006-2 as a promising first target for 52 $\mu$m line measurements. We discuss how such measurements will help in understanding the mass metallicity relationship during the EoR.


title: CHEOPS observations of the HD 108236 planetary system: A fifth planet, improved ephemerides, and planetary radii

abstract: The detection of a super-Earth and three mini-Neptunes transiting the bright ($V$ = 9.2 mag) star HD 108236 (also known as TOI-1233) was recently reported on the basis of TESS and ground-based light curves. We perform a first characterisation of the HD 108236 planetary system through high-precision CHEOPS photometry and improve the transit ephemerides and system parameters. We characterise the host star through spectroscopic analysis and derive the radius with the infrared flux method. We constrain the stellar mass and age by combining the results obtained from two sets of stellar evolutionary tracks. We analyse the available TESS light curves and one CHEOPS transit light curve for each known planet in the system. We find that HD 108236 is a Sun-like star with $R_{\star}=0.877\pm0.008 R_{\odot}$, $M_{\star}=0.869^{+0.050}_{-0.048} M_{\odot}$, and an age of $6.7_{-5.1}^{+4.0}$ Gyr. We report the serendipitous detection of an additional planet, HD 108236 f, in one of the CHEOPS light curves. For this planet, the combined analysis of the TESS and CHEOPS light curves leads to a tentative orbital period of about 29.5 days. From the light curve analysis, we obtain radii of $1.615\pm0.051$, $2.071\pm0.052$, $2.539_{-0.065}^{+0.062}$, $3.083\pm0.052$, and $2.017_{-0.057}^{+0.052}$ $R_{\oplus}$ for planets HD 108236 b to HD 108236 f, respectively. These values are in agreement with previous TESS-based estimates, but with an improved precision of about a factor of two. We perform a stability analysis of the system, concluding that the planetary orbits most likely have eccentricities smaller than 0.1. We also employ a planetary atmospheric evolution framework to constrain the masses of the five planets, concluding that HD 108236 b and HD 108236 c should have an Earth-like density, while the outer planets should host a low mean molecular weight envelope.


title: Analytical Prediction of Low-Frequency Fluctuations Inside a One-Dimensional Shock

abstract: Linear instability of high-speed boundary layers is routinely examined assuming quiescent edge conditions, without reference to the internal structure of shocks or to instabilities potentially generated in them. Our recent work has shown that the kinetically modeled internal nonequilibrium zone of straight shocks away from solid boundaries exhibits low-frequency molecular fluctuations. The presence of the dominant low frequencies observed using the Direct Simulation Monte Carlo (DSMC) method has been explained as a consequence of the well-known bimodal probability density function (PDF) of the energy of particles inside a shock. Here, PDFs of particle energies are derived in the upstream and downstream equilibrium regions, as well as inside shocks, and it is shown for the first time that they have the form of the non-central chi-squared (NCCS) distributions. A linear correlation is proposed to relate the change in the shape of the analytical PDFs as a function of Mach number, within the range $3 \le M \le 10$, with the DSMC-derived average characteristic low-frequency of shocks, as computed in our earlier work. At a given Mach number $M=7.2$, varying the input translational temperature in the range $89 \le T_{tr,1}/(K) \le 1420$, it is shown that the variation in DSMC-derived low-frequencies is correlated with the change in most-probable-speed inside shocks at the location of maximum bulk velocity gradient. Using the proposed linear functions, average low-frequencies are estimated within the examined ranges of Mach number and input temperature and a semi-empirical relationship is derived to predict low-frequency oscillations in shocks. Our model can be used to provide realistic physics-based boundary conditions in receptivity and linear stability analysis studies of laminar-turbulent transition in high-speed flows.


title: Non-minimally Coupled Scalar $k$-Inflation Dynamics

abstract: In this work we shall study $k$-inflation theories with non-minimal coupling of the scalar field to gravity, in the presence of only a higher order kinetic term of the form $\sim \mathrm{const}\times X^{\mu}$, with $X=\frac{1}{2}\partial_{\mu}\phi\partial^{\mu}\phi$. The study will be focused in the cases where a scalar potential is included or is absent, and the evolution of the scalar field will be assumed to satisfy the slow-roll or the constant-roll condition. In the case of the slow-roll models with scalar potential, we shall calculate the slow-roll indices, and the corresponding observational indices of the theory, and we demonstrate that the resulting theory is compatible with the latest Planck data. The same results are obtained in the constant-roll case, at least in the presence of a scalar potential. In the case that models without potential are considered, the results are less appealing since these are strongly model dependent, and at least for a power-law choice of the non-minimal coupling, the theory is non-viable. Finally, due to the fact that the scalar and tensor power spectra are conformal invariant quantities, we argue that the Einstein frame counterpart of the non-minimal $k$-inflation models with scalar potential, can be a viable theory, due to the conformal invariance of the observational indices. The Einstein frame theory is more involved and thus more difficult to work with it analytically, so one implication of our work is that we provide evidence for the viability of another class of $k$-inflation models.