title: On the relationship between Lozi maps and max-type difference equations

abstract: In the present work we revise a transformation that links generalized Lozi maps with max-type difference equations. In this view, according to the technique of topological conjugation, we relate the dynamics of a concrete Lozi map with a complete uniparametric family of max-equations, and we apply this fact to investigate the dynamics of two particular families. Moreover, we present some numerical simulations related to the topic and, finally, we propose some open problems that look into the relationship established between generalized Lozi maps and max-equations.


title: Asymmetric Heat Transfer with Linear Conductive Metamaterials

abstract: Asymmetric heat transfer systems, often referred to as thermal diodes or thermal rectifiers, have garnered increasing interest due to their wide range of application possibilities. Most of those previous macroscopic thermal diodes either resort to nonlinear thermal conductivities with strong temperature dependence that may be quite limited by or fixed in natural materials or rely on active modulation that necessitated auxiliary energy payloads. Here, we establish a straightforward strategy of passively realizing asymmetric heat transfer with linear conductive materials. The strategy also introduces a new interrogative perspective on the design of asymmetric heat transfer utilizing nonlinear thermal conductivity, correcting the misconception that thermal rectification is impossible with separable nonlinear thermal conductivity. The nonlinear perturbation mode can be versatilely engineered to produce an effective and wide-ranging perturbation in the heat conduction, which imitates and bypasses intrinsic thermal nonlinearity constraints set by naturally occurring counterparts. Independent experimental characterizations of surface thermal radiation and thermal convection verified that the heat exchange between a graded linear thermal metamaterial and the ambient can be tailored to achieve macroscopic asymmetric heat transfer. Our work is envisaged to inspire conceptual models for heat transfer control, serving as a robust and convenient platform for advanced thermal management, thermal computation, and heat transport.


title: Unidirectional information flow and positive divisibility are nonequivalent notions of quantum Markovianity for noninvertible dynamics

abstract: We construct a dynamical map which is not positive divisible and does not present information backflow either (as measured by trace norm quantifiers). It is formulated for a qutrit system undergoing noninvertible dynamics. This provides an evidence that the two definitions of quantum Markovianity based on absence of information backflow and positive divisibility are nonequivalent for general noninvertible dynamical maps


title: A Spectroscopic Road Map for Cosmic Frontier: DESI, DESI-II, Stage-5

abstract: In this white paper, we present an experimental road map for spectroscopic experiments beyond DESI. DESI will be a transformative cosmological survey in the 2020s, mapping 40 million galaxies and quasars and capturing a significant fraction of the available linear modes up to z=1.2. DESI-II will pilot observations of galaxies both at much higher densities and extending to higher redshifts. A Stage-5 experiment would build out those high-density and high-redshift observations, mapping hundreds of millions of stars and galaxies in three dimensions, to address the problems of inflation, dark energy, light relativistic species, and dark matter. These spectroscopic data will also complement the next generation of weak lensing, line intensity mapping and CMB experiments and allow them to reach their full potential.


title: On the Nature of Flow Curve and Categorization of Thixotropic Yield Stress Materials

abstract: Thixotropy is a phenomenon related to time dependent change in viscosity in presence or absence of flow. The yield stress, on the other hand, represents the minimum value of stress above which steady flow can be sustained. In addition, the yield stress of a material may also change as a function of time. Both these characteristic features in a material strongly influence the steady state flow curve of the same. This study aims to understand the interrelation between thixotropy, yield stress and their relation with the flow curve. In this regard, we study five thixotropic materials that show yield stress. The relaxation time of all the five systems shows power-law dependence on aging time with behaviors ranging from weaker than linear, linear to stronger than linear. Furthermore, the elastic modulus and yield stress has been observed to be constant for some systems while time dependent for the others. We also analyze the experimental behavior through a viscoelastic thixotropic structural kinetic model that predicts the observed experimental behavior of constant as well as time-dependent yield stress quite well. These findings indicate that a non-monotonic steady-state flow curve in a structural kinetic formalism necessarily leads to time-dependent yield stress, while constant yield stress is predicted by a monotonic steady-state flow curve with stress plateau in the limit of low shear rates. The present work, therefore, shows that thixotropic materials may exhibit either monotonic or non-monotonic flow curves. Consequently, thixotropic materials may show no yield stress, constant yield stress or time-dependent yield stress.


title: Stability of curvature-dimension condition for negative dimensions under concentration topology

abstract: In this paper, we prove the stability of metric measure spaces satisfying the curvature-dimension condition for negative dimensions under a concentration topology. This result is an analogue of the result by Funano-Shioya with respect to the dimension parameter.


title: A Rank-Based Reward between a Principal and a Field of Agents: Application to Energy Savings

abstract: In this paper, we consider the problem of a Principal aiming at designing a reward function for a population of heterogeneous agents. We construct an incentive based on the ranking of the agents, so that a competition among the latter is initiated. We place ourselves in the limit setting of mean-field type interactions and prove the existence and uniqueness of the equilibrium distribution for a given reward, for which we can find an explicit representation. Focusing first on the homogeneous setting, we characterize the optimal reward function using a convex reformulation of the problem and provide an interpretation of its behaviour. We then show that this characterization still holds for a sub-class of heterogeneous populations. For the general case, we propose a convergent numerical method which fully exploits the characterization of the mean-field equilibrium. We develop a case study related to the French market of Energy Saving Certificates based on the use of realistic data, which shows that the ranking system allows to achieve the sobriety target imposed by the European commission.


title: Prediction intervals with controlled length in the heteroscedastic Gaussian regression

abstract: We tackle the problem of building a prediction interval in heteroscedastic Gaussian regression. We focus on prediction intervals with constrained expected length in order to guarantee interpretability of the output. In this framework, we derive a closed form expression of the optimal prediction interval that allows for the development a data-driven prediction interval based on plug-in. The construction of the proposed algorithm is based on two samples, one labeled and another unlabeled. Under mild conditions, we show that our procedure is asymptotically as good as the optimal prediction interval both in terms of expected length and error rate. In particular, the control of the expected length is distribution-free. We also derive rates of convergence under smoothness and the Tsybakov noise conditions. We conduct a numerical analysis that exhibits the good performance of our method. It also indicates that even with a few amount of unlabeled data, our method is very effective in enforcing the length constraint.


title: Volumes of spheres and special values of zeta functions of $\mathbb{Z}$ and $\mathbb{Z}/n\mathbb{Z}$

abstract: The volume of the unit sphere in every dimension is given a new interpretation as a product of special values of the zeta function of $\mathbb{Z}$, akin to volume formulas of Minkowski and Siegel in the theory of arithmetic groups. A product formula is found for this zeta function that specializes to Catalan numbers. Moreover, certain closed-form expressions for various other zeta values are deduced, in particular leading to an alternative perspective on Euler's values of the Riemann zeta function.


title: Highlights from the Telescope Array Experiments

abstract: The Telescope Array (TA) is the largest hybrid cosmic ray detector in the Northern Hemisphere, which observes primary particles in the energy range from 2 PeV to 100 EeV. The main TA detector consists of 507 plastic scintillation counters on a 1.2-km spacing square grid and fluorescence detectors at three stations overlooking the sky above the surface detector array. The TA Low energy Extension (TALE) hybrid detectors, which consists of ten fluorescence telescopes, and 80 infill surface detectors with 400-m and 600-m spacing, has continued to provide stable observations since its construction completion in 2018. The TAx4, a plan to quadruple the detection area of TA is also ongoing. About half of the planned detectors have been deployed, and the current TAx4 continues to operate stably as a hybrid detector. I review the present status of the TA experiment and the recent results on the cosmic-ray anisotropy, mass composition and energy spectrum.


title: Multi-Granularity Prediction for Scene Text Recognition

abstract: Scene text recognition (STR) has been an active research topic in computer vision for years. To tackle this challenging problem, numerous innovative methods have been successively proposed and incorporating linguistic knowledge into STR models has recently become a prominent trend. In this work, we first draw inspiration from the recent progress in Vision Transformer (ViT) to construct a conceptually simple yet powerful vision STR model, which is built upon ViT and outperforms previous state-of-the-art models for scene text recognition, including both pure vision models and language-augmented methods. To integrate linguistic knowledge, we further propose a Multi-Granularity Prediction strategy to inject information from the language modality into the model in an implicit way, i.e. , subword representations (BPE and WordPiece) widely-used in NLP are introduced into the output space, in addition to the conventional character level representation, while no independent language model (LM) is adopted. The resultant algorithm (termed MGP-STR) is able to push the performance envelop of STR to an even higher level. Specifically, it achieves an average recognition accuracy of 93.35% on standard benchmarks. Code is available at https://github.com/AlibabaResearch/AdvancedLiterateMachinery/tree/main/OCR/MGP-STR.


title: Unique ergodicity of the horocycle flow of a higher genus compact surface with no conjugate points and continuous Green bundles

abstract: We show that the horocyclic flow of an orientable compact higher genus surface without conjugate points and with continuous Green bundles is uniquely ergodic. The result applies to nonflat nonpositively curved surfaces and generalizes a classical result of Furstenberg and Marcus in negative curvature. The proof relies on the definition of a uniformly expanding parametrization on the quotient by the strips of the surface.


title: Levenshtein OCR

abstract: A novel scene text recognizer based on Vision-Language Transformer (VLT) is presented. Inspired by Levenshtein Transformer in the area of NLP, the proposed method (named Levenshtein OCR, and LevOCR for short) explores an alternative way for automatically transcribing textual content from cropped natural images. Specifically, we cast the problem of scene text recognition as an iterative sequence refinement process. The initial prediction sequence produced by a pure vision model is encoded and fed into a cross-modal transformer to interact and fuse with the visual features, to progressively approximate the ground truth. The refinement process is accomplished via two basic character-level operations: deletion and insertion, which are learned with imitation learning and allow for parallel decoding, dynamic length change and good interpretability. The quantitative experiments clearly demonstrate that LevOCR achieves state-of-the-art performances on standard benchmarks and the qualitative analyses verify the effectiveness and advantage of the proposed LevOCR algorithm. Code is available at https://github.com/AlibabaResearch/AdvancedLiterateMachinery/tree/main/OCR/LevOCR.


title: Global Stein theorem on hardy spaces

abstract: Let f be an integrable function which has integral 0 on R n. What is the largest condition on |f | that guarantees that f is in the Hardy space H 1 (R n)? When f is compactly supported, it is well-known that it is necessary and sufficient that |f | belongs to L log L(R n). We are interested here in conditions at $\infty$. We do so for H 1 (R n), as well as for the Hardy space H log (R n) which appears in the study of pointwise products of functions in H 1 (R n) and in its dual BM O.


title: An Empirical Evaluation of Posterior Sampling for Constrained Reinforcement Learning

abstract: We study a posterior sampling approach to efficient exploration in constrained reinforcement learning. Alternatively to existing algorithms, we propose two simple algorithms that are more efficient statistically, simpler to implement and computationally cheaper. The first algorithm is based on a linear formulation of CMDP, and the second algorithm leverages the saddle-point formulation of CMDP. Our empirical results demonstrate that, despite its simplicity, posterior sampling achieves state-of-the-art performance and, in some cases, significantly outperforms optimistic algorithms.


title: A penalized criterion for selecting the number of clusters for K-medians

abstract: Clustering is a usual unsupervised machine learning technique for grouping the data points into groups based upon similar features. We focus here on unsupervised clustering for contaminated data, i.e in the case where K-medians should be preferred to K-means because of its robustness. More precisely, we concentrate on a common question in clustering: how to chose the number of clusters? The answer proposed here is to consider the choice of the optimal number of clusters as the minimization of a risk function via penalization. In this paper, we obtain a suitable penalty shape for our criterion and derive an associated oracle-type inequality. Finally, the performance of this approach with different types of K-medians algorithms is compared on a simulation study with other popular techniques. All studied algorithms are available in the R package Kmedians on CRAN.


title: A notion of seminormalization for real algebraic varieties

abstract: The seminormalization of an algebraic variety $X$ is the biggest variety linked to $X$ by a finite, birational and bijective morphism. In this paper we introduce a variant of the seminormalization, suited for real algebraic varieties, called the R-seminormalization. This object have a universal property of the same kind of the one of the seminormalization but related to the real closed points of the variety. In a previous paper, the author studied the seminormalization of complex algebraic varieties using rational functions that extend continuously to the closed points for the Euclidean topology. We adapt here some of those results to the R-seminormalization and we provide several examples. We also show that the R-seminormalization modifies the singularities of a real variety by normalizing the purely complex points and seminormalizing the real ones.


title: Security Analysis of the EDHOC protocol

abstract: Ephemeral Diffie-Hellman Over COSE (EDHOC) aims at being a very compact and lightweight authenticated Diffie-Hellman key exchange with ephemeral keys. It is expected to provide mutual authentication, forward secrecy, and identity protection, with a 128-bit security level.A formal analysis has already been proposed at SECRYPT '21, on a former version, leading to some improvements, in the ongoing evaluation process by IETF. Unfortunately, while formal analysis can detect some misconceptions in the protocol, it cannot evaluate the actual security level.In this paper, we study the last version. Without complete breaks, we anyway exhibit attacks in 2^64 operations, which contradict the expected 128-bit security level. We thereafter propose improvements, some of them being at no additional cost, to achieve 128-bit security for all the security properties (i.e. key privacy, mutual authentication, and identity-protection).


title: Bifurcations and the exchange of stability with coinfection

abstract: We perform a bifurcation analysis on an SIR model involving two pathogens that influences each other. Partial cross-immunity is assumed and coinfection is thought to be less transmittable then each of the diseases alone. The susceptible class has density dependent growth with carrying capacity $K$. Our model generalizes the model developed in our previous papers by introducing the possibility for coinfected individuals to spread only one of the diseases when in contact with a susceptible. We perform a bifurcation analysis and prove the existence of a branch of stable equilibrium points parmeterized by $K$. The branch bifurcates for some $K$ resulting in changes in which compartments are present as well as the overall dynamics of the system. Depending on the parameters different transition scenarios occur.


title: Wavenumber-explicit stability and convergence analysis of hp finite element discretizations of Helmholtz problems in piecewise smooth media

abstract: We present a wavenumber-explicit convergence analysis of the hp finite element method applied to a class of heterogeneous Helmholtz problems with piecewise analytic coefficients at large wavenumber $k$. Our analysis covers the heterogeneous Helmholtz equation with Robin, exact Dirichlet-to-Neumann, and second order absorbing boundary conditions, as well as perfectly matched layers.


title: Template-based Program Synthesis using Stellens\"atze

abstract: Template-based synthesis, also known as sketching, is a localized approach to program synthesis in which the programmer provides not only a specification, but also a high-level ``sketch'' of the program. The sketch is basically a partial program that models the general intuition of the programmer, while leaving the low-level details as unimplemented ``holes''. The role of the synthesis engine is then to fill in these holes such that the completed program satisfies the desired specification. In this work, we focus on template-based synthesis of polynomial imperative programs with real variables, i.e.~imperative programs in which all expressions appearing in assignments, conditions and guards are polynomials over program variables. While this problem can be solved in a sound and complete manner by a reduction to the first-order theory of the reals, the resulting formulas will contain a quantifier alternation and are extremely hard for modern SMT solvers, even when considering toy programs with a handful of lines. Moreover, the classical algorithms for quantifier elimination are notoriously unscalable and not at all applicable to this use-case. In contrast, our main contribution is an algorithm, based on several well-known theorems in polyhedral and real algebraic geometry, namely Putinar's Positivstellensatz, the Real Nullstellensatz, Handelman's Theorem and Farkas' Lemma, which sidesteps the quantifier elimination difficulty and reduces the problem directly to Quadratic Programming (QP). Alternatively, one can view our algorithm as an efficient way of eliminating quantifiers in the particular formulas that appear in the synthesis problem. The resulting QP instances can then be handled quite easily by SMT solvers. Notably, our reduction to QP is sound and semi-complete, i.e.~it is complete if polynomials of a sufficiently high degree are used in the templates...


title: nVFNet-RDC: Replay and Non-Local Distillation Collaboration for Continual Object Detection

abstract: Continual Learning (CL) focuses on developing algorithms with the ability to adapt to new environments and learn new skills. This very challenging task has generated a lot of interest in recent years, with new solutions appearing rapidly. In this paper, we propose a nVFNet-RDC approach for continual object detection. Our nVFNet-RDC consists of teacher-student models, and adopts replay and feature distillation strategies. As the 1st place solutions, we achieve 55.94% and 54.65% average mAP on the 3rd CLVision Challenge Track 2 and Track 3, respectively.


title: Analysis of the local discontinuous Galerkin method with generalized fluxes for 1D nonlinear convection-diffusion systems

abstract: In this paper, we present optimal error estimates of the local discontinuous Galerkin method with generalized numerical fluxes for one-dimensional nonlinear convection-diffusion systems. The upwind-biased flux with adjustable numerical viscosity for the convective term is chosen based on the local characteristic decomposition, which is helpful in resolving discontinuities of degenerate parabolic equations without enforcing any limiting procedure. For the diffusive term, a pair of generalized alternating fluxes are considered. By constructing and analyzing generalized Gauss-Radau projections with respect to different convective or diffusive terms, we derive optimal error estimates for nonlinear convection-diffusion systems with the symmetrizable flux Jacobian and fully nonlinear diffusive problems. Numerical experiments including long time simulations, different boundary conditions and degenerate equations with discontinuous initial data are provided to demonstrate the sharpness of theoretical results.


title: The Medieval Climate Anomaly, the Oort Minimum and Socio-Political Dynamics in the Eastern Mediterranean and the Byzantine Empire, 10th to 12th Century

abstract: The study examines the palaeoclimatic background and the regional manifestations of the Medieval Climate Anomaly in the Eastern Mediterranean, with a focus on the Byzantine Empire, but also including neighbouring polities. It explores the interplay between climatic factors and the socioeconomic dynamics between the 10th and 12th centuries, concentrating on the late 10th and 11th centuries, also overlapping with the Oort Solar Minimum. In particular it contrasts scenarios of an economic boom and of an collapse of the Eastern Mediterranean created in recent scholarship for this period and evaluates these notions based on a close reading and citation of historiographical and other written sources. Thereby, both potentials as well as problems of a combination of archives of society and archives of nature become evident.


title: H2 Performance Analysis and Synthesis for Discrete-Time Linear Systems with Dynamics Determined by an i.i.d. Process

abstract: This paper is concerned with H2 control of discrete-time linear systems with dynamics determined by an independent and identically distributed (i.i.d.) process. A definition of H2 norm is first discussed for the class of systems. Then, a linear matrix inequality (LMI) condition is derived for the associated performance analysis, which is tractable in the sense of numerical computation. The results about analysis are also extended toward state-feedback controller synthesis.


title: Solid State Detectors and Tracking for Snowmass

abstract: Tracking detectors are of vital importance for collider-based high energy physics (HEP) experiments. The primary purpose of tracking detectors is the precise reconstruction of charged particle trajectories and the reconstruction of secondary vertices. The performance requirements from the community posed by the future collider experiments require an evolution of tracking systems, necessitating the development of new techniques, materials and technologies in order to fully exploit their physics potential. In this article we summarize the discussions and conclusions of the 2022 Snowmass Instrumentation Frontier subgroup on Solid State and Tracking Detectors (Snowmass IF03).


title: Relations between Reshetikhin--Turaev and re-normalized link invariants

abstract: Costantino--Geer--Patureau-Mirand proved relations between the Reshetikhin--Turaev link invariants and the re-normalized link invariants for knots. Their theorem says that residues of the re-normalized link invariants are given by the Reshetikhin--Turaev link invariants. However, in the case of links, the residues are vanish, so we can not obtain any relations from the residues. In this paper, we prove that the Reshetikhin--Turaev link invariants appear in higher order terms of the re-normalized link invariants for links which are plumbed.


title: Frame-Subtitle Self-Supervision for Multi-Modal Video Question Answering

abstract: Multi-modal video question answering aims to predict correct answer and localize the temporal boundary relevant to the question. The temporal annotations of questions improve QA performance and interpretability of recent works, but they are usually empirical and costly. To avoid the temporal annotations, we devise a weakly supervised question grounding (WSQG) setting, where only QA annotations are used and the relevant temporal boundaries are generated according to the temporal attention scores. To substitute the temporal annotations, we transform the correspondence between frames and subtitles to Frame-Subtitle (FS) self-supervision, which helps to optimize the temporal attention scores and hence improve the video-language understanding in VideoQA model. The extensive experiments on TVQA and TVQA+ datasets demonstrate that the proposed WSQG strategy gets comparable performance on question grounding, and the FS self-supervision helps improve the question answering and grounding performance on both QA-supervision only and full-supervision settings.


title: Tunneling of Bell Particles, Page Curve and Black Hole Information

abstract: We propose that the quantum states of black hole responsible for the Bekenstein-Hawking entropy are given by a thin shell of Bell particles located at the region just underneath the horizon. We argue that the configuration can be stabilized by a new kind of degeneracy pressure which is suggested by a noncommutative geometry in the interior of the black hole. Black hole singularity is avoided. We utilize the work of Parikh and Wilczek \cite{Parikh:1999mf} to include the effect of tunneling on the Bell particles. We show that partially tunneled Bell particles give the Page curve of Hawking radiation, and the entirety of information initially stored in the black hole is returned to the outside via the Hawking radiation. In view of entropic force, the location of these Bell states is naturally related to the island and the quantum extremal surface.


title: Advancing Theory and Modeling Efforts in Heliophysics

abstract: Heliophysics theory and modeling build understanding from fundamental principles to motivate, interpret, and predict observations. Together with observational analysis, they constitute a comprehensive scientific program in heliophysics. As observations and data analysis become increasingly detailed, it is critical that theory and modeling develop more quantitative predictions and iterate with observations. Advanced theory and modeling can inspire and greatly improve the design of new instruments and increase their chance of success. In addition, in order to build physics-based space weather forecast models, it is important to keep developing and testing new theories, and maintaining constant communications with theory and modeling. Maintaining a sustainable effort in theory and modeling is critically important to heliophysics. We recommend that all funding agencies join forces and consider expanding current and creating new theory and modeling programs--especially, 1. NASA should restore the HTMS program to its original support level to meet the critical needs of heliophysics science; 2. a Strategic Research Model program needs to be created to support model development for next-generation basic research codes; 3. new programs must be created for addressing mission-critical theory and modeling needs; and 4. enhanced programs are urgently required for training the next generation of theorists and modelers.

categories: astro-ph.IM astro-ph.SR physics.plasm-ph physics.space-ph


title: Temporal and Spatial Chaos of RN-AdS Black Holes Immersed in Perfect Fluid Dark Matter

abstract: We investigate the thermodynamic chaos of RN-AdS black holes immersed in Perfect Fluid Dark Matter by considering the dynamical equations of the fluid system evolved in the spinodal region. Based on the Melnikov method, it is shown that there exists a critical amplitude that affects the temporal chaos. And the influence of black holes charge and state parameter on the critical amplitude is investigated with specific initial temperature. Then, for inevitable spatial chaos, three different types of portraits are discssued according to the difference between the phase transition pressure and the ambient pressure. Additionally, we check the local equilibrium near saddle points which shows that spatial chaos always exists regardless of the perturbation intensity.


title: DIY-IPS: Towards an Off-the-Shelf Accurate Indoor Positioning System

abstract: We present DIY-IPS - Do It Yourself - Indoor Positioning System, an open-source real-time indoor positioning mobile application. DIY-IPS detects users' indoor position by employing dual-band RSSI fingerprinting of available WiFi access points. The app can be used, without additional infrastructural costs, to detect users' indoor positions in real time. We published our app as an open source to save other researchers time recreating it. The app enables researchers/users to (1) collect indoor positioning datasets with a ground truth label, (2) customize the app for higher accuracy or other research purposes (3) test the accuracy of modified methods by live testing with ground truth. We ran preliminary experiments to demonstrate the effectiveness of the app.


title: Modified Einstein versus Modified Euler for Dark Matter

abstract: Modifications of General Relativity generically contain additional degrees of freedom that can mediate forces between matter particles. One of the common manifestations of a fifth force in alternative gravity theories is a difference between the gravitational potentials felt by relativistic and non-relativistic particles, also known as "the gravitational slip". In contrast, a fifth force between dark matter particles, due to dark sector interaction, does not cause a gravitational slip, making the latter a possible smoking gun of modified gravity. In this article, we point out that a force acting on dark matter particles, as in models of coupled quintessence, would also manifest itself as a measurement of an effective gravitational slip by cosmological surveys of large-scale structure. This is linked to the fact that redshift-space distortions due to peculiar motion of galaxies do not provide a measurement of the true gravitational potential if dark matter is affected by a fifth force. Hence, it is extremely challenging to distinguish a dark sector interaction from a modification of gravity with cosmological data alone. Future observations of gravitational redshift from galaxy surveys can help to break the degeneracy between these possibilities, by providing a direct measurement of the distortion of time. We discuss this and other possible ways to resolve this important question.


title: IMAP: Individual huMAn mobility Patterns visualizing platform

abstract: Understanding human mobility is essential for the development of smart cities and social behavior research. Human mobility models may be used in numerous applications, including pandemic control, urban planning, and traffic management. The existing models' accuracy in predicting users' mobility patterns is less than 25%. The low accuracy may be justified by the flexible nature of the human movement. Indeed, humans are not rigid in their daily movement. In addition, the rigid mobility models may result in missing the hidden regularities in users' records. Thus, we propose a novel perspective to study and analyze human mobility patterns and capture their flexibility. Typically, the mobility patterns are represented by a sequence of locations. We propose to define the mobility patterns by abstracting these locations into a set of places. Labeling these locations will allow us to detect close-to-reality hidden patterns. We present IMAP, an Individual huMAn mobility Patterns visualizing platform. Our platform enables users to visualize a graph of the places they visited based on their history records. In addition, our platform displays the most frequent mobility patterns computed using a modified PrefixSpan approach.


title: Experimental observations of internal wave turbulence transition in a stratified fluid

abstract: Recent developments of the weak turbulence theory applied to internal waves exhibit a power-law solution of the kinetic energy equation close to the oceanic Garrett \& Munk spectrum, confirming weakly nonlinear wave interactions as a likely explanation of the observed oceanic spectra. However, finite-size effects can hinder wave interactions in bounded domains, and observations often differ from theoretical predictions. This article studies the dynamical regimes experimentally developing in a stratified fluid forced by internal gravity waves in a pentagonal domain. We find that by changing the shape and increasing the dimensions of the domain, finite-size effects diminish and wave turbulence is observed. In this regime, the temporal spectra decay with a slope compatible with the Garrett-Munk spectra. Different regimes appear by changing the forcing conditions, namely discrete wave turbulence, weak wave turbulence, and strongly stratified turbulence. The buoyancy Reynolds number $Re_b$ marks well the transitions between the regimes, with weak wave turbulence occurring for $1\lesssim Re_b\lesssim 3.5$ and strongly non-linear stratified turbulence for higher $Re_b$.


title: Model-free Subsampling Method Based on Uniform Designs

abstract: Subsampling or subdata selection is a useful approach in large-scale statistical learning. Most existing studies focus on model-based subsampling methods which significantly depend on the model assumption. In this paper, we consider the model-free subsampling strategy for generating subdata from the original full data. In order to measure the goodness of representation of a subdata with respect to the original data, we propose a criterion, generalized empirical F-discrepancy (GEFD), and study its theoretical properties in connection with the classical generalized L2-discrepancy in the theory of uniform designs. These properties allow us to develop a kind of low-GEFD data-driven subsampling method based on the existing uniform designs. By simulation examples and a real case study, we show that the proposed subsampling method is superior to the random sampling method. Moreover, our method keeps robust under diverse model specifications while other popular subsampling methods are under-performing. In practice, such a model-free property is more appealing than the model-based subsampling methods, where the latter may have poor performance when the model is misspecified, as demonstrated in our simulation studies.


title: Adaptive Combination of a Genetic Algorithm and Novelty Search for Deep Neuroevolution

abstract: Evolutionary Computation (EC) has been shown to be able to quickly train Deep Artificial Neural Networks (DNNs) to solve Reinforcement Learning (RL) problems. While a Genetic Algorithm (GA) is well-suited for exploiting reward functions that are neither deceptive nor sparse, it struggles when the reward function is either of those. To that end, Novelty Search (NS) has been shown to be able to outperform gradient-following optimizers in some cases, while under-performing in others. We propose a new algorithm: Explore-Exploit $\gamma$-Adaptive Learner ($E^2\gamma AL$, or EyAL). By preserving a dynamically-sized niche of novelty-seeking agents, the algorithm manages to maintain population diversity, exploiting the reward signal when possible and exploring otherwise. The algorithm combines both the exploitation power of a GA and the exploration power of NS, while maintaining their simplicity and elegance. Our experiments show that EyAL outperforms NS in most scenarios, while being on par with a GA -- and in some scenarios it can outperform both. EyAL also allows the substitution of the exploiting component (GA) and the exploring component (NS) with other algorithms, e.g., Evolution Strategy and Surprise Search, thus opening the door for future research.


title: Maximizing Consumer Satisfaction of IoT Energy Services

abstract: We propose a novel Quality of Experience (QoE)-aware framework to crowdsource IoT energy services efficiently. The proposed framework leverages the provisioning of energy services as an auxiliary to increase consumers' satisfaction. A novel QoE model is developed as a metric to assess the consumers' satisfaction with the provisioning of energy services. Two novel composition algorithms, namely, Partial-Based (PB) and Demand-Based (DB) approaches, are proposed to ensure the highest QoE for consumers. Both approaches leverage the providers' flexibility and shareable nature of energy services to efficiently allocate services and optimize the QoE. A set of extensive experiments is conducted to evaluate the proposed approaches' efficiency and effectiveness.


title: Black-Box Audits for Group Distribution Shifts

abstract: When a model informs decisions about people, distribution shifts can create undue disparities. However, it is hard for external entities to check for distribution shift, as the model and its training set are often proprietary. In this paper, we introduce and study a black-box auditing method to detect cases of distribution shift that lead to a performance disparity of the model across demographic groups. By extending techniques used in membership and property inference attacks -- which are designed to expose private information from learned models -- we demonstrate that an external auditor can gain the information needed to identify these distribution shifts solely by querying the model. Our experimental results on real-world datasets show that this approach is effective, achieving 80--100% AUC-ROC in detecting shifts involving the underrepresentation of a demographic group in the training set. Researchers and investigative journalists can use our tools to perform non-collaborative audits of proprietary models and expose cases of underrepresentation in the training datasets.


title: Normal approximation of compound Hawkes functionals

abstract: We derive quantitative bounds in the Wasserstein distance for the approximation of stochastic integrals with respect to Hawkes processes by a normally distributed random variable. In the case of deterministic and non-negative integrands, our estimates involve only the third moment of integrand in addition to a variance term using a square norm of the integrand. As a consequence, we are able to observe a "third moment phenomenon" in which the vanishing of the first cumulant can lead to faster convergence rates. Our results are also applied to compound Hawkes processes, and improve on the current literature where estimates may not converge to zero in large time, or have been obtained only for specific kernels such as the exponential or Erlang kernels.


title: Deep Learning Models for Detecting Malware Attacks

abstract: Malware is one of the most common and severe cyber-attack today. Malware infects millions of devices and can perform several malicious activities including mining sensitive data, encrypting data, crippling system performance, and many more. Hence, malware detection is crucial to protect our computers and mobile devices from malware attacks. Deep learning (DL) is one of the emerging and promising technologies for detecting malware. The recent high production of malware variants against desktop and mobile platforms makes DL algorithms powerful approaches for building scalable and advanced malware detection models as they can handle big datasets. This work explores current deep learning technologies for detecting malware attacks on the Windows, Linux, and Android platforms. Specifically, we present different categories of DL algorithms, network optimizers, and regularization methods. Different loss functions, activation functions, and frameworks for implementing DL models are presented. We also present feature extraction approaches and a review of recent DL-based models for detecting malware attacks on the above platforms. Furthermore, this work presents major research issues on malware detection including future directions to further advance knowledge and research in this field.


title: Edgeworth expansion for the coefficients of random walks on the general linear group

abstract: Let $(g_n)_{n\geq 1}$ be a sequence of independent and identically distributed random elements with law $\mu$ on the general linear group $\textup{GL}(V)$, where $V=\mathbb R^d$. Consider the random walk $G_n : = g_n \ldots g_1$, $n \geq 1$. Under suitable conditions on $\mu$, we establish the first-order Edgeworth expansion for the coefficients $\langle f, G_n v \rangle$ with $v \in V$ and $f \in V^*$, in which a new additional term appears compared to the case of vector norm $\|G_n v\|$.


title: Representing Camera Response Function by a Single Latent Variable and Fully Connected Neural Network

abstract: Modelling the mapping from scene irradiance to image intensity is essential for many computer vision tasks. Such mapping is known as the camera response. Most digital cameras use a nonlinear function to map irradiance, as measured by the sensor to an image intensity used to record the photograph. Modelling of the response is necessary for the nonlinear calibration. In this paper, a new high-performance camera response model that uses a single latent variable and fully connected neural network is proposed. The model is produced using unsupervised learning with an autoencoder on real-world (example) camera responses. Neural architecture searching is then used to find the optimal neural network architecture. A latent distribution learning approach was introduced to constrain the latent distribution. The proposed model achieved state-of-the-art CRF representation accuracy in a number of benchmark tests, but is almost twice as fast as the best current models when performing the maximum likelihood estimation during camera response calibration due to the simple yet efficient model representation.


title: Application of image-to-image translation in improving pedestrian detection

abstract: The lack of effective target regions makes it difficult to perform several visual functions in low intensity light, including pedestrian recognition, and image-to-image translation. In this situation, with the accumulation of high-quality information by the combined use of infrared and visible images it is possible to detect pedestrians even in low light. In this study we are going to use advanced deep learning models like pix2pixGAN and YOLOv7 on LLVIP dataset, containing visible-infrared image pairs for low light vision. This dataset contains 33672 images and most of the images were captured in dark scenes, tightly synchronized with time and location.


title: Polynomial equations for matrices over integers modulo a prime power and the cokernel of a random matrix

abstract: Given a prime $p$ and a positive integer $k$, let $\mathrm{M}_{n}(\mathbb{Z}/p^{k}\mathbb{Z})$ be the ring of $n \times n$ matrices over $\mathbb{Z}/p^{k}\mathbb{Z}$. We consider the number of solutions $X \in \mathrm{M}_{n}(\mathbb{Z}/p^{k}\mathbb{Z})$ to the polynomial equation $P(X) = 0$, where $P(t)$ is a monic polynomial in $(\mathbb{Z}/p^{k}\mathbb{Z})[t]$ whose reduction modulo $p$ is square-free over the finite field $\mathbb{F}_{p}$ of $p$ elements. Noting that $P(X) = 0$ if and only if $\mathrm{cok}(P(X)) \simeq (\mathbb{Z}/p^{k}\mathbb{Z})^{n}$, we give a conjectural generalization of counting solutions to $P(X) = 0$ as the distribution of the cokernel $\mathrm{cok}(P(X))$ of $P(X)$ up to isomorphisms, where $X$ is a uniform random matrix in $\mathrm{M}_{n}(\mathbb{Z}/p^{k}\mathbb{Z})$. This distribution involves an explicit formula when we fix the residue class of $X$ modulo $p$. We prove this conjecture for the special case when the image of $P(t)$ in $\mathbb{F}_{p}[t]$ modulo $p$ is irreducible. We explain how the distribution we obtain is closely related to the Cohen-Lenstra distribution. Our proof involves algebraic and combinatorial arguments in linear algebra over $\mathbb{Z}/p^{k}\mathbb{Z}$ and builds upon a previous work of Cheong and Kaplan.


title: Anti-Invariant Holomorphic Statistical Submersions

abstract: Our purpose in this article is to study anti-invariant statistical submersions from holomorphic statistical manifolds. Firstly we introduce holomorphic statistical submersions satisfying the certain condition, after we give anti-invariant statistical submersions satisfying the certain condition. And we supported our results with examples.


title: Transport anisotropy and metal-insulator transition in striped Dirac fermion systems

abstract: Using the determinant quantum Monte Carlo method, we investigate the metal-insulator transitions induced by the stripe of charge density in an interacting two-dimensional Dirac fermion system. The stripe will introduce the transport anisotropy and insulating intermediate phase into the system, accompanied by the change of band structure and a peak of density of states around Fermi energy. In the case of strong correlation, stripe exhibits competition with Coulomb repulsion through closing the energy gap and disrupting the magnetic order, and finally drives the system in Mott insulating phase back to the metallic state. Our results may provide a feasible way to modify transport properties by setting charge stripes in experiments.


title: Hierarchical Graph Pooling is an Effective Citywide Traffic Condition Prediction Model

abstract: Accurate traffic conditions prediction provides a solid foundation for vehicle-environment coordination and traffic control tasks. Because of the complexity of road network data in spatial distribution and the diversity of deep learning methods, it becomes challenging to effectively define traffic data and adequately capture the complex spatial nonlinear features in the data. This paper applies two hierarchical graph pooling approaches to the traffic prediction task to reduce graph information redundancy. First, this paper verifies the effectiveness of hierarchical graph pooling methods in traffic prediction tasks. The hierarchical graph pooling methods are contrasted with the other baselines on predictive performance. Second, two mainstream hierarchical graph pooling methods, node clustering pooling and node drop pooling, are applied to analyze advantages and weaknesses in traffic prediction. Finally, for the mentioned graph neural networks, this paper compares the predictive effects of different graph network inputs on traffic prediction accuracy. The efficient ways of defining graph networks are analyzed and summarized.


title: Enabling Connectivity for Automated Mobility: A Novel MQTT-based Interface Evaluated in a 5G Case Study on Edge-Cloud Lidar Object Detection

abstract: Enabling secure and reliable high-bandwidth lowlatency connectivity between automated vehicles and external servers, intelligent infrastructure, and other road users is a central step in making fully automated driving possible. The availability of data interfaces, which allow this kind of connectivity, has the potential to distinguish artificial agents' capabilities in connected, cooperative, and automated mobility systems from the capabilities of human operators, who do not possess such interfaces. Connected agents can for example share data to build collective environment models, plan collective behavior, and learn collectively from the shared data that is centrally combined. This paper presents multiple solutions that allow connected entities to exchange data. In particular, we propose a new universal communication interface which uses the Message Queuing Telemetry Transport (MQTT) protocol to connect agents running the Robot Operating System (ROS). Our work integrates methods to assess the connection quality in the form of various key performance indicators in real-time. We compare a variety of approaches that provide the connectivity necessary for the exemplary use case of edge-cloud lidar object detection in a 5G network. We show that the mean latency between the availability of vehicle-based sensor measurements and the reception of a corresponding object list from the edge-cloud is below 87 ms. All implemented solutions are made open-source and free to use. Source code is available at https://github.com/ika-rwth-aachen/ros-v2x-benchmarking-suite.


title: Hierarchical triple mergers: testing Hawking's area theorem with the inspiral signals

abstract: Hawking's area theorem is one of the fundamental laws of black holes (BHs), which has been tested at a confidence level of $\sim 95\%$ with gravitational wave (GW) observations by analysing the inspiral and ringdown portions of GW signals, independently. In this work, we propose to carry out the test in a new way with the hierarchical triple merger (i.e., two successive BH mergers occurred sequentially within the observation window of GW detectors), for which the properties of the progenitor BHs and the remnant BH of the first coalescence can be inferred from the inspiral portions of the two mergers. As revealed in our simulations, the BH area law can be well confirmed for some plausible hierarchical triple merger events detectable in LIGO/Virgo/KAGRA/LIGO-India's O4/O5 runs. Our proposed method provides significant facilitation for testing the area law and complements previous methods.


title: AARGH! End-to-end Retrieval-Generation for Task-Oriented Dialog

abstract: We introduce AARGH, an end-to-end task-oriented dialog system combining retrieval and generative approaches in a single model, aiming at improving dialog management and lexical diversity of outputs. The model features a new response selection method based on an action-aware training objective and a simplified single-encoder retrieval architecture which allow us to build an end-to-end retrieval-enhanced generation model where retrieval and generation share most of the parameters. On the MultiWOZ dataset, we show that our approach produces more diverse outputs while maintaining or improving state tracking and context-to-response generation performance, compared to state-of-the-art baselines.


title: Hierarchical Cache-Aided Linear Function Retrieval with Security and Privacy Constraints

abstract: The hierarchical caching system where a server connects with multiple mirror sites, each connecting with a distinct set of users, and both the mirror sites and users are equipped with caching memories has been widely studied. However all the existing works focus on single file retrieval, i.e., each user requests one file, and ignore the security and privacy threats in communications. In this paper we investigate the linear function retrieval problem for hierarchical caching systems with content security and demand privacy, i.e., each user requests a linear combination of files, and meanwhile the files in the library are protected against wiretappers and users' demands are kept unknown to other users and unconnected mirror sites. First we propose a new combination structure named hierarchical placement delivery array (HPDA), which characterizes the data placement and delivery strategy of a coded caching scheme. Then we construct two classes of HPDAs. Consequently two classes of schemes with or without security and privacy are obtained respectively where the first dedicates to minimizing the transmission load for the first hop and can achieve the optimal transmission load for the first hop if ignoring the security and privacy constraints; the second has more flexible parameters on the memory sizes and a lower subpacketization compared with the first one, and achieves a tradeoff between subpacketization and transmission loads.


title: Recombination of hot ionized nebulae: The old planetary nebula around V4334 Sgr (Sakurai's star)

abstract: After becoming ionized, low-density astrophysical plasmas will begin a process of slow recombination. Models for this still have significant uncertainties. The recombination cannot normally be observed in isolation, because the ionization follows the evolutionary time scale of the ionizing source. Laboratory experiments are unable to reach the appropriate conditions because of the required very long time scales. The extended nebula around the very late helium flash (VLTP) star V4334 Sgr provides a unique laboratory for this kind of study. The sudden loss of the ionizing UV radiation after the VLTP event has allowed the nebula to recombine free from other influences. More than 290 long slit spectra taken with FORS1/2 at the ESO VLT between 2007 and 2022 are used to follow the time evolution of lines of H, He, N, S, O, Ar. Hydrogen and helium lines, representing most of the ionized mass, do not show significant changes. A small increase is seen in [N II] (+2.8 %/yr; significance 2.7 sigma), while we see a decrease in [O III] (-1.96 %/yr; 2.0 sigma). The [S II] lines show a change of +3.0 %/yr; 1.6 sigma). The lines of [S III] and of Ar III] show no significant change. For [S III], the measurement differs from the predicted decrease by 4.5 sigma. A possible explanation is that the fraction of [S IV] and higher is larger than expected. Such an effect could provide a potential solution for the sulfur anomaly in planetary nebulae.


title: Galactic Cosmic Rays and Solar Energetic Particles in Cis-Lunar Space: Need for contextual energetic particle measurements at Earth and supporting distributed observations

abstract: The particle and radiation environment in cis-lunar space is becoming increasingly important as more hardware and human assets occupy various orbits around the Earth and space exploration efforts turn to the Moon and beyond. Since 2020, the total number of satellites in orbit has approximately doubled, highlighting the growing dependence on space-based resources. Through NASA's upcoming Artemis missions, humans will spend more time in cis-lunar space than ever before supported by the expansive infrastructure required for extended missions to the Moon, including a surface habitat, a communications network, and the Lunar Gateway. This paper focuses on galactic cosmic rays (GCRs) and solar energetic particles (SEPs) that create a dynamic and varying radiation environment within these regions. GCRs are particles of hundreds of MeV/nucleon (MeV/n) and above generated in highly energetic astrophysical environments in the Milky Way Galaxy, such as supernovae and pulsars, and beyond. These particles impinge isotropically on the heliosphere and are filtered down to 1 AU, experiencing modulation in energy and intensity on multiple timescales, from hours to decades, due to the solar magnetic cycle and other transient phenomena. SEPs are particles with energies up to thousands of MeV/n that are accelerated in eruptive events on the Sun and flood the inner heliosphere causing sudden and drastic increases in the particle environment on timescales of minutes to days. This paper highlights a current and prospective future gap in energetic particle measurements in the hundreds of MeV/n. We recommend key observations near Earth to act as a baseline as well as distributed measurements in the heliosphere, magnetosphere, and lunar surface to improve the scientific understanding of these particle populations and sources.


title: Proton radiation damage tolerance of wide dynamic range SOI pixel detectors

abstract: We have been developing the SOI pixel detector ``INTPIX'' for space use and general purpose applications such as the residual stress measurement of a rail and high energy physics experiments. INTPIX is a monolithic pixel detector composed of a high-resistivity Si sensor, a SiO2 insulator, and CMOS pixel circuits utilizing Silicon-On-Insulator (SOI) technology. We have considered the possibility of using INTPIX to observe X-ray polarization in space. When the semiconductor detector is used in space, it is subject to radiation damage resulting from high-energy protons. Therefore, it is necessary to investigate whether INTPIX has high radiation tolerance for use in space. The INTPIX8 was irradiated with 6 MeV protons up to a total dose of 2 krad at HIMAC, National Institute of Quantum Science in Japan, and evaluated the degradation of the performance, such as energy resolution and non-uniformity of gain and readout noise between pixels. After 500 rad irradiation, which is the typical lifetime of an X-ray astronomy satellite, the degradation of energy resolution at 14.4 keV is less than 10%, and the non-uniformity of readout noise and gain between pixels is constant within 0.1%.


title: Concavity property of minimal $L^2$ integrals with Lebesgue measurable gain

abstract: In this article, we present a concavity property of the minimal $L^2$ integrals related to multiplier ideal sheaves with Lebesgue measurable gain. As applications, we give necessary conditions for our concavity degenerating to linearity, characterizations for 1-dimensional case, and a characterization for the holding of the equality in optimal $L^2$ extension problem on open Riemann surfaces with weights may not be subharmonic.


title: Geolocation of Cultural Heritage using Multi-View Knowledge Graph Embedding

abstract: Knowledge Graphs (KGs) have proven to be a reliable way of structuring data. They can provide a rich source of contextual information about cultural heritage collections. However, cultural heritage KGs are far from being complete. They are often missing important attributes such as geographical location, especially for sculptures and mobile or indoor entities such as paintings. In this paper, we first present a framework for ingesting knowledge about tangible cultural heritage entities from various data sources and their connected multi-hop knowledge into a geolocalized KG. Secondly, we propose a multi-view learning model for estimating the relative distance between a given pair of cultural heritage entities, based on the geographical as well as the knowledge connections of the entities.


title: The Einasto model for dark matter haloes

abstract: Context: The Einasto model has become one of the most popular models for describing the density profile of dark matter haloes. There have been relatively few comprehensive studies on the dynamical structure of the Einasto model, mainly because only a limited number of properties can be calculated analytically. Aims: We want to systematically investigate the photometric and dynamical structure of the family of Einasto models over the entire model parameter space. Methods: We used the SpheCow code to explore the properties of the Einasto model. We systematically investigated how the most important properties change as a function of the Einasto index $n$. We considered both isotropic models and radially anisotropic models with an Osipkov-Merritt orbital structure. Results: We find that all Einasto models with $n<\tfrac12$ have a formal isotropic or Osipkov-Merritt distribution function that is negative in parts of phase space, and hence cannot be supported by such orbital structures. On the other hand, all models with larger values of $n$ can be supported by an isotropic orbital structure, or by an Osipkov-Merritt anisotropy, as long as the anisotropy radius is larger than a critical value. This critical anisotropy radius is a decreasing function of $n$, indicating that less centrally concentrated models allow for a larger degree of radial anisotropy. Conclusions: Studies of the structure and dynamics of models for galaxies and dark matter haloes should not be restricted to completely analytical models. Numerical codes such as SpheCow can help open up the range of models that are systematically investigated. This applies to the Einasto model discussed here, but also to other proposed models for dark matter haloes, including different extensions to the Einasto model.


title: Viability and Exponentially Stable Trajectories for Differential Inclusions in Wasserstein Spaces

abstract: In this article, we prove a general viability theorem for continuity inclusions in Wasserstein spaces, and provide an application thereof to the existence of exponentially stable trajectories obtained via the second method of Lyapunov.


title: Shake-off in the 164Er neutrinoless double electronic capture and the dark matter puzzle

abstract: Traditionally double neutrinoless electronic capture is considered as a resonance process. We have fulfilled shake-off probability calculations, leading to ionization of the electron shell, in the case of 164Er. Allowance for the shake-off removes the requirement of resonance, leading to a radical increase of the capture rate. In the case of 164Er, the contribution of the new mechanism increases the capture rate by a factor of 5.6 as compared to the conventional resonance fluorescence mechanism. It also increases the probability of electron capture from higher shells, which must be foreseen in the experimental studies. Moreover, the effect of the shake-off can expand the list of candidate nuclei for experimental research. The influence of the shake-off is also expected to manifest itself in the other beta processes which are used in the studies of the neutrino nature, its mass and role in the dark matter puzzle.


title: VizBelle: A Design Space of Embellishments for Data Visualization

abstract: Visual embellishments, as a form of non-linguistic rhetorical figures, are used to help convey abstract concepts or attract readers' attention. Creating data visualizations with appropriate and visually pleasing embellishments is challenging since this process largely depends on the experience and the aesthetic taste of designers. To help facilitate designers in the ideation and creation process, we propose a design space, VizBelle, based on the analysis of 361 classified visualizations from online sources. VizBelle consists of four dimensions, namely, communication goal to fit user intention, object to select the target area, strategy and technique to offer potential approaches. We further provide a website to present detailed explanations and examples of various techniques. We conducted a within-subject study with 20 professional and amateur design enthusiasts to evaluate the effectiveness of our design space. Results show that our design space is illuminating and useful for designers to create data visualizations with embellishments.


title: Deep Learning for Hierarchical Beam Alignment in mmWave Communication Systems

abstract: Fast and precise beam alignment is crucial to support high-quality data transmission in millimeter wave (mmWave) communication systems. In this work, we propose a novel deep learning based hierarchical beam alignment method that learns two tiers of probing codebooks (PCs) and uses their measurements to predict the optimal beam in a coarse-to-fine searching manner. Specifically, the proposed method first performs coarse channel measurement using the tier-1 PC, then selects a tier-2 PC for fine channel measurement, and finally predicts the optimal beam based on both coarse and fine measurements. The proposed deep neural network (DNN) architecture is trained in two steps. First, the tier-1 PC and the tier-2 PC selector are trained jointly. After that, all the tier-2 PCs together with the optimal beam predictors are trained jointly. The learned hierarchical PCs can capture the features of propagation environment. Numerical results based on realistic ray-tracing datasets demonstrate that the proposed method is superior to the state-of-art beam alignment methods in both alignment accuracy and sweeping overhead.


title: A capacitated multi-vehicle covering tour problem on a road network and its application to waste collection

abstract: In most Swiss municipalities, a curbside system consisting of heavy trucks stopping at almost each household is used for non-recoverable waste collection. Due to the many stops of the trucks, this strategy causes high fuel consumption, emissions and noise. These effects can be alleviated by reducing the number of stops performed by collection vehicles. One possibility consists of locating collection points throughout the municipality such that residents bring their waste to their most preferred location. The optimization problem consists of selecting a subset of candidate locations to place the points such that each household disposes the waste at the most preferred location. Provided that the underlying road network is available, we refer to this optimization problem as the capacitated multi-vehicle covering tour problem on a road network (Cm-CTP-R). We introduce two mixed-integer linear programming (MILP) formulations: a road-network-based formulation that exploits the sparsity of the network and a customer-based formulation typically used in vehicle routing problems (VRP). To solve large instances, we propose a two-phased heuristic approach that addresses the two subproblems the Cm-CTP-R is built on: a set covering problem to select the locations and a split-delivery VRP to determine the routes. Computational experiments on both small and real-life instances show that the road-network-based formulation is better suited. Furthermore, the proposed heuristic provides good solutions with optimality gaps below 0.5% and 3.5% for 75% of the small and real-life instances respectively and is able to find better solutions than the exact method for many real-life instances.


title: Null Controllability for a Degenerate Structured Population Model

abstract: In this paper, we consider the infinite dimensional linear control system describing population models structured by age, size, and spatial position. The diffusion coefficient is degenerate at a point of the domain or both extreme points. Moreover, the control is localized in the space variable as well as with respect to the age and size. For each control support, we give an estimate of the time needed to control the system to zero. We establish the null controllability of the model by using a technique that avoids the explicit use of parabolic Carleman estimates. Indeed, our argument relies on a method that combines final-state observability estimates with the use of the characteristic method.


title: Bracketing the direct detection exclusion plot for a WIMP of spin one half in non-relativistic effective theory

abstract: Assuming a standard Maxwellian velocity distribution for the WIMPs in the halo of our Galaxy we use the null results of an exhaustive set of 9 direct detection experiments to calculate the maximal variation of the exclusion plot for each Wilson coefficient of the most general Galilean-invariant effective Hamiltonian for a WIMP of spin one half due to interferences. We consider 56 Wilson coefficients $c_i^{p,n}$ and $\alpha_i^{n,p}$ for WIMP-proton and WIMP-neutron contact interactions ${\cal O}_i^{p,n}$ and the corresponding long range interaction ${\cal O}_i^{p,n}/q^2$, parameterized by a massless propagator $1/q^2$. For each coupling we provide a different exclusion plot when the following set of operators is allowed to interfere: proton-neutron, i.e. $c_i^{p}$-$c_i^{n}$ or $\alpha_i^{p}$-$\alpha_i^{n}$; contact-contact or long range-long range, i.e. $c_i^{p,n}$-$c_j^{p,n}$ or $\alpha_i^{p,n}$-$\alpha_j^{p,n}$; contact-long range, i.e. $c_i^{p,n}$-$\alpha_j^{p,n}$. For each of the 56 Wilson coefficients $c_i^{p,n}$ and $\alpha_j^{p,n}$ and for the largest number of interfering operators the exclusion plot variation can reach 3 orders of magnitude and reduces to a factor as small as a few for the Wilson coefficients of the effective interactions where the WIMP couples to the nuclear spin, thanks to the combination of experiments using proton-odd and neutron-odd targets. Some of the conservative bounds require an extremely high level of cancellation, putting into question the reliability of the result. We analyze this issue in a systematic way, showing that it affects some of the couplings driven by the operators ${\cal O}_{1}$, ${\cal O}_{3}$, ${\cal O}_{11}$, ${\cal O}_{12}$ and ${\cal O}_{15}$, especially when interferences among contact and long range interactions are considered.


title: Double stabilizations and convergence analysis of a second-order linear numerical scheme for the nonlocal Cahn-Hilliard equation

abstract: In this paper, we study a second-order accurate and linear numerical scheme for the nonlocal Cahn-Hilliard equation. The scheme is established by combining a modified Crank-Nicolson approximation and the Adams-Bashforth extrapolation for the temporal discretization, and by applying the Fourier spectral collocation to the spatial discretization. In addition, two stabilization terms in different forms are added for the sake of the numerical stability. We conduct a complete convergence analysis by using the higher-order consistency estimate for the numerical scheme, combined with the rough error estimate and the refined estimate. By regarding the numerical solution as a small perturbation of the exact solution, we are able to justify the discrete $\ell^\infty$ bound of the numerical solution, as a result of the rough error estimate. Subsequently, the refined error estimate is derived to obtain the optimal rate of convergence, following the established $\ell^\infty$ bound of the numerical solution. Moreover, the energy stability is also rigorously proved with respect to a modified energy. The proposed scheme can be viewed as the generalization of the second-order scheme presented in an earlier work, and the energy stability estimate has greatly improved the corresponding result therein.


title: FETA: Towards Specializing Foundation Models for Expert Task Applications

abstract: Foundation Models (FMs) have demonstrated unprecedented capabilities including zero-shot learning, high fidelity data synthesis, and out of domain generalization. However, as we show in this paper, FMs still have poor out-of-the-box performance on expert tasks (e.g. retrieval of car manuals technical illustrations from language queries), data for which is either unseen or belonging to a long-tail part of the data distribution of the huge datasets used for FM pre-training. This underlines the necessity to explicitly evaluate and finetune FMs on such expert tasks, arguably ones that appear the most in practical real-world applications. In this paper, we propose a first of its kind FETA benchmark built around the task of teaching FMs to understand technical documentation, via learning to match their graphical illustrations to corresponding language descriptions. Our FETA benchmark focuses on text-to-image and image-to-text retrieval in public car manuals and sales catalogue brochures. FETA is equipped with a procedure for completely automatic annotation extraction (code would be released upon acceptance), allowing easy extension of FETA to more documentation types and application domains in the future. Our automatic annotation leads to an automated performance metric shown to be consistent with metrics computed on human-curated annotations (also released). We provide multiple baselines and analysis of popular FMs on FETA leading to several interesting findings that we believe would be very valuable to the FM community, paving the way towards real-world application of FMs for practical expert tasks currently 'overlooked' by standard benchmarks focusing on common objects.


title: Investigation of structural and magneto-transport properties of PdTe2 single crystals

abstract: The growth and structural analysis of topological semimetal (TSM) PdTe2 were carried out in this study. The self-flux method was employed to grow the single crystals which were structurally characterized by XRD, SEM and EDAX, while the vibrational modes were observed by Raman spectroscopy. Further, the transport properties of the grown crystal are also investigated, which show the presence of the weak anti-localization effect. The low field (1Tesla) magnetoconductivity is studied by Hikami-Larkin-Nagaoka (HLN) model, and the physical parameters are extracted. Further, a quadratic term and a linear term in applied field were added in HLN model, which are accounted for quantum and classical contributions in conduction mechanism. The modified HLN model was used to study magneto-conductivity in entire field range and at temperature from 2-100 K. This study not only confirmed the growth of single crystal PdTe2, but also verified the presence of topological surface states (TSS) through the HLN analysis of magneto-transport measurements.


title: Leading Quantum Correction to the $\Phi^4$ Kink Form Factor

abstract: Recently, Jarah has constructed the kink form factor relevant to the scattering of an ultrarelativistic meson with an arbitrary nonrelativistic scalar kink. However the formula was only applied to the Sine-Gordon model, where the form factor was long ago determined by Weisz using integrability. In this paper, using various known analytic results for the (1+1)-dimensional real scalar $\Phi^4$ model and a kink wave packet construction, we analytically calculate the leading quantum correction to the form factor of the $\Phi^4$ kink. We discuss its properties in general and also in the ultra-relativistic meson case and provide a numerical check of our results.


title: Correlating Nanoscale Structure with Electrochemical Property of Solid Electrolyte Interphases in Solid-State Battery Electrodes

abstract: Here, we correlate the nanoscale morphology and chemical composition of solid electrolyte interphases (SEI) with the electrochemical property of graphite-based composite electrodes. Using electrochemical strain microscopy (ESM) and X-ray photoelectron spectroscopy (XPS), changes of chemical composition and morphology (Li and F distribution) in SEI layers on the electrodes as a function of solid electrolyte contents are analyzed. As a result, we find a strong correlation between morphological variations on the electrode, Li and F distribution in SEI layer, and Coulomb efficiency. This correlation determines the optimum composition of the composite electrode surface that can maximize the physical and chemical uniformity of the solid electrolyte on the electrode, which is a key parameter to increase electrochemical performance in solid-state batteries.


title: The Fermi Gamma Ray Sky: summary of recent Observations

abstract: The Fermi Gamma-ray Space Telescope was launched more than 13 years ago and since then it has dramatically changed our knowledge of the gamma-ray sky. With more than three billions photons from the whole sky, collected in the energy range between 20 MeV and more than 300 GeV, and beyond 6,000 detected sources, LAT observations have been crucial to improving our understanding of particle acceleration and gamma-ray production in astrophysical sources. In this proceeding, I will review recent science highlights from the LAT. I will focus on the recent source catalog release, as well as on the main transient phenomena seen with the LAT with multi-wavelength and multi-messenger connection.


title: Extremely low mass ratio contact binaries -- I. the first photometric and spectroscopic investigations of ten systems

abstract: The photometric and spectroscopic investigations of ten contact binaries were presented for the first time. It is discovered that the mass ratios of all the ten targets are smaller than 0.15, they are extremely low mass ratio contact binaries. Seven of them are deep contact binaries, two are medium contact binaries, while only one is a shallow contact system. Five of them show O'Connell effect, and a dark spot on one of the two components can lead to a good fit of the asymmetric light curves. The orbital period studies of the ten binaries reveal that they all exhibit long-term period changes, six of them are increasing, while the others are shrinking. The LAMOST spectra were analyzed by the spectral subtraction method, and all the ten targets exhibit excess emissions in the H$_\alpha$ line, indicating chromospheric activity. The evolutionary states of the two components of the ten binaries were studied, and it is found that their evolutionary states are identical to those of the other contact binaries. Based on the study of the relation between orbital angular momentum and total mass, we discovered the ten systems may be at the late evolutionary stage of a contact binary. The initial masses of the two components and the ages of them were obtained. By calculating the instability parameters, we found that the ten contact binaries are relatively stable at present.


title: Principal Geodesic Analysis in Director-Based Dynamics of Hybrid Mechanical Systems

abstract: In this article, we present new computational realizations of principal geodesic analysis for the unit sphere $S^2$ and the special orthogonal group $SO(3)$. In particular, we address the construction of long-time smooth lifts across branches of the respective logarithm maps. To this end, we pay special attention to certain critical numerical aspects such as singularities and their consequences on the numerical precision. Moreover, we apply principal geodesic analysis to investigate the behavior of several mechanical systems that are very rich in dynamics. The examples chosen are computationally modeled by employing a director-based formulation for rigid and flexible mechanical systems. Such a formulation allows to investigate our algortihms in a direct manner while avoiding the introduction of additional sources of error that are unrelated to principal geodesic analysis. Finally, we test our numerical machinery with the examples and, at the same time, we gain deeper insight into their dynamical beahvior.


title: Practical Aspects of Membership Problem of Watson-Crick Context-free Grammars

abstract: This paper focuses on Watson-Crick languages inspired by DNA computing, their models, and algorithms for deciding the language membership. It analyzes a recently introduced algorithm called WK-CYK and introduces a state space search algorithm that is based on regular Breadth-first search but uses a number of optimizations and heuristics to be efficient in practical use and able to analyze longer inputs. The key parts are the heuristics for pruning the state space (detecting dead ends) and heuristics for choosing the most promising branches to continue the search. These two algorithms have been tested with 20 different Watson-Crick grammars (40 including their Chomsky normal form versions). While WK-CYK is able to decide the language membership in a reasonable time for inputs of the length of roughly 30-50 symbols and its performance is very consistent for all kinds of grammars and inputs, the state space search is usually (89-98 % of cases) more efficient and able to do the computation for inputs with lengths of hundreds or even thousands of symbols. Thus, the state space search has the potential to be a good tool for practical Watson-Crick membership testing and is a good basis for improvement the efficiency of the algorithm in the future.


title: Saliency-based Multiple Region of Interest Detection from a Single 360{\deg} image

abstract: 360{\deg} images are informative -- it contains omnidirectional visual information around the camera. However, the areas that cover a 360{\deg} image is much larger than the human's field of view, therefore important information in different view directions is easily overlooked. To tackle this issue, we propose a method for predicting the optimal set of Region of Interest (RoI) from a single 360{\deg} image using the visual saliency as a clue. To deal with the scarce, strongly biased training data of existing single 360{\deg} image saliency prediction dataset, we also propose a data augmentation method based on the spherical random data rotation. From the predicted saliency map and redundant candidate regions, we obtain the optimal set of RoIs considering both the saliency within a region and the Interaction-Over-Union (IoU) between regions. We conduct the subjective evaluation to show that the proposed method can select regions that properly summarize the input 360{\deg} image.


title: Accessible Computation of Tight Symbolic Bounds on Causal Effects using an Intuitive Graphical Interface

abstract: Strong untestable assumptions are almost universal in causal point estimation. In particular settings, bounds can be derived to narrow the possible range of a causal effect. Symbolic bounds apply to all settings that can be depicted using the same directed acyclic graph (DAG) and for the same effect of interest. Although the core of the methodology for deriving symbolic bounds has been previously developed, the means of implementation and computation have been lacking. Our R-package causaloptim aims to solve this usability problem by implementing the method of Sachs et al. (2022a) and providing the user with a graphical interface through shiny that allows for input in a way that most researchers with an interest in causal inference will be familiar; a DAG (via a point-and-click experience) and specifying a causal effect of interest using familiar counterfactual notation.


title: Spectral minimal partitions of unbounded metric graphs

abstract: We investigate the existence or non-existence of spectral minimal partitions of unbounded metric graphs, where the operator applied to each of the partition elements is a Schr\"odinger operator of the form $-\Delta + V$ with suitable (electric) potential $V$, which is taken as a fixed, underlying ``landscape'' on the whole graph. We show that there is a strong link between spectral minimal partitions and infimal partition energies on the one hand, and the infimum $\Sigma$ of the essential spectrum of the corresponding Schr\"odinger operator on the whole graph on the other. Namely, we show that for any $k\in\mathbb{N}$, the infimal energy among all admissible $k$-partitions is bounded from above by $\Sigma$, and if it is strictly below $\Sigma$, then a spectral minimal $k$-partition exists. We illustrate our results with several examples of existence and non-existence of minimal partitions of unbounded and infinite graphs, with and without potentials. The nature of the proofs, a key ingredient of which is a version of Persson's theorem for quantum graphs, strongly suggests that corresponding results should hold for Schr\"odinger operator-based partitions of unbounded domains in Euclidean space.


title: Conical-focusing: Mechanism for singular jetting from collapsing drop-impact craters

abstract: Fast microjets can emerge out of liquid pools from the rebounding of drop-impact craters, or when a bubble bursts at it surface. The fastest jets are the narrowest and are a source of aerosols both from the ocean and a glass of champagne, of importance to climate and the olfactory senses. The most singular jets, which have a maximum velocity of 137$\pm$4 m/s and diameter of 12 $\mu$m under reduced ambient pressure, are produced when a small dimple forms at the crater bottom and rebounds without pinching off a small bubble. The rebounding of this dimple is purely inertial but highly sensitive on initial conditions. High-resolution numerical simulations reveal a new focusing mechanism, which drives the fastest jet within a converging conical channel, where an entrained air-sheet provides effective slip at the outer boundary of the conically converging flow into the jet. This configuration bypasses any viscous cut-off of the jetting speed and explains the extreme sensitivity observed in detailed experiments of the phenomenon.


title: Tag-Aware Document Representation for Research Paper Recommendation

abstract: Finding online research papers relevant to one's interests is very challenging due to the increasing number of publications. Therefore, personalized research paper recommendation has become a significant and timely research topic. Collaborative filtering is a successful recommendation approach, which exploits the ratings given to items by users as a source of information for learning to make accurate recommendations. However, the ratings are often very sparse as in the research paper domain, due to the huge number of publications growing every year. Therefore, more attention has been drawn to hybrid methods that consider both ratings and content information. Nevertheless, most of the hybrid recommendation approaches that are based on text embedding have utilized bag-of-words techniques, which ignore word order and semantic meaning. In this paper, we propose a hybrid approach that leverages deep semantic representation of research papers based on social tags assigned by users. The experimental evaluation is performed on CiteULike, a real and publicly available dataset. The obtained findings show that the proposed model is effective in recommending research papers even when the rating data is very sparse.


title: Efficient Gender Debiasing of Pre-trained Indic Language Models

abstract: The gender bias present in the data on which language models are pre-trained gets reflected in the systems that use these models. The model's intrinsic gender bias shows an outdated and unequal view of women in our culture and encourages discrimination. Therefore, in order to establish more equitable systems and increase fairness, it is crucial to identify and mitigate the bias existing in these models. While there is a significant amount of work in this area in English, there is a dearth of research being done in other gendered and low resources languages, particularly the Indian languages. English is a non-gendered language, where it has genderless nouns. The methodologies for bias detection in English cannot be directly deployed in other gendered languages, where the syntax and semantics vary. In our paper, we measure gender bias associated with occupations in Hindi language models. Our major contributions in this paper are the construction of a novel corpus to evaluate occupational gender bias in Hindi, quantify this existing bias in these systems using a well-defined metric, and mitigate it by efficiently fine-tuning our model. Our results reflect that the bias is reduced post-introduction of our proposed mitigation techniques. Our codebase is available publicly.


title: On holomorphic mappings with relatively $p$-compact range

abstract: Related to the concept of $p$-compact operator with $p\in [1,\infty]$ introduced by Sinha and Karn, this paper deals with the space $\mathcal{H}^\infty_{\mathcal{K}_p}(U,F)$ of all Banach-valued holomorphic mappings on an open subset $U$ of a complex Banach space $E$ whose ranges are relatively $p$-compact subsets of $F$. We characterize such holomorphic mappings as those whose Mujica's linearisations on the canonical predual of $\mathcal{H}^\infty(U)$ are $p$-compact operators. This fact allows us to make a complete study of them. We show that $\mathcal{H}^\infty_{\mathcal{K}_p}$ is a surjective Banach ideal of bounded holomorphic mappings which is generated by composition with the ideal of $p$-compact operators and contains the Banach ideal of all right $p$-nuclear holomorphic mappings. We also characterize holomorphic mappings with relatively $p$-compact ranges as those bounded holomorphic mappings which factorize through a quotient space of $\ell_{p^*}$ or as those whose transposes are quasi $p$-nuclear operators (respectively, factor through a closed subspace of $\ell_p$).


title: Contribution to operators between Banach lattices

abstract: In this paper we introduce and study a new class of operators related to norm bounded sets on Banach Lattice and which brings together several classical classes of operators (as o-weakly compact operators, b-weakly compact operators, M-weakly compact operators, L-weakly compact operators, almost Dunford-Pettis operators). As consequences, we give some new lattice approximation properties of these classes of operators.


title: Resource Allocation for URLLC and eMBB Traffic in Uplink Wireless Networks

abstract: In this paper we consider two resource allocation problems of URLLC traffic and eMBB traffic in uplink 5G networks. We propose to divide frequencies into a common region and a grant-based region. Frequencies in the grant-based region can only be used by eMBB traffic, while frequencies in the common region can be used by eMBB traffic as well as URLLC traffic. In the first resource allocation problem we propose a two-player game to address the size of the grant-based region and the size of the common region. We show that this game has specific pure Nash equilibria. In the second resource allocation problem we determine the number of packets that each eMBB user can transmit in a request-grant cycle. We propose a constrained optimization problem to minimize the variance of the number of packets granted to the eMBB users. We show that a water-filling algorithm solves this constrained optimization problem. From simulation, we show that our scheme, consisting of resource allocation according to Nash equilibria of a game, persistent random retransmission of URLLC packets and allocation of eMBB packets by a water-filling algorithm, works better than four other heuristic methods.


title: Generalized One-shot Domain Adaptation of Generative Adversarial Networks

abstract: The adaptation of a Generative Adversarial Network (GAN) aims to transfer a pre-trained GAN to a target domain with limited training data. In this paper, we focus on the one-shot case, which is more challenging and rarely explored in previous works. We consider that the adaptation from a source domain to a target domain can be decoupled into two parts: the transfer of global style like texture and color, and the emergence of new entities that do not belong to the source domain. While previous works mainly focus on style transfer, we propose a novel and concise framework to address the \textit{generalized one-shot adaptation} task for both style and entity transfer, in which a reference image and its binary entity mask are provided. Our core idea is to constrain the gap between the internal distributions of the reference and syntheses by sliced Wasserstein distance. To better achieve it, style fixation is used at first to roughly obtain the exemplary style, and an auxiliary network is introduced to the generator to disentangle entity and style transfer. Besides, to realize cross-domain correspondence, we propose the variational Laplacian regularization to constrain the smoothness of the adapted generator. Both quantitative and qualitative experiments demonstrate the effectiveness of our method in various scenarios. Code is available at \url{https://github.com/zhangzc21/Generalized-One-shot-GAN-adaptation}.


title: R$^3$LIVE++: A Robust, Real-time, Radiance reconstruction package with a tightly-coupled LiDAR-Inertial-Visual state Estimator

abstract: Simultaneous localization and mapping (SLAM) are crucial for autonomous robots (e.g., self-driving cars, autonomous drones), 3D mapping systems, and AR/VR applications. This work proposed a novel LiDAR-inertial-visual fusion framework termed R$^3$LIVE++ to achieve robust and accurate state estimation while simultaneously reconstructing the radiance map on the fly. R$^3$LIVE++ consists of a LiDAR-inertial odometry (LIO) and a visual-inertial odometry (VIO), both running in real-time. The LIO subsystem utilizes the measurements from a LiDAR for reconstructing the geometric structure (i.e., the positions of 3D points), while the VIO subsystem simultaneously recovers the radiance information of the geometric structure from the input images. R$^3$LIVE++ is developed based on R$^3$LIVE and further improves the accuracy in localization and mapping by accounting for the camera photometric calibration (e.g., non-linear response function and lens vignetting) and the online estimation of camera exposure time. We conduct more extensive experiments on both public and our private datasets to compare our proposed system against other state-of-the-art SLAM systems. Quantitative and qualitative results show that our proposed system has significant improvements over others in both accuracy and robustness. In addition, to demonstrate the extendability of our work, {we developed several applications based on our reconstructed radiance maps, such as high dynamic range (HDR) imaging, virtual environment exploration, and 3D video gaming.} Lastly, to share our findings and make contributions to the community, we make our codes, hardware design, and dataset publicly available on our Github: github.com/hku-mars/r3live


title: Wall divisors on irreducible symplectic orbifolds of Nikulin-type

abstract: We determine the wall divisors on irreducible symplectic orbifolds which are deformation equivalent to a special type of examples, called Nikulin orbifolds. The Nikulin orbifolds are obtained as partial resolutions in codimension 2 of a quotient by a symplectic involution of a Hilbert scheme of 2 points on a K3 surface. This builds on the previous article arXiv:2009.04873 in which the theory of wall divisors was generalized to orbifold singularities.


title: Predict+Optimize for Packing and Covering LPs with Unknown Parameters in Constraints

abstract: Predict+Optimize is a recently proposed framework which combines machine learning and constrained optimization, tackling optimization problems that contain parameters that are unknown at solving time. The goal is to predict the unknown parameters and use the estimates to solve for an estimated optimal solution to the optimization problem. However, all prior works have focused on the case where unknown parameters appear only in the optimization objective and not the constraints, for the simple reason that if the constraints were not known exactly, the estimated optimal solution might not even be feasible under the true parameters. The contributions of this paper are two-fold. First, we propose a novel and practically relevant framework for the Predict+Optimize setting, but with unknown parameters in both the objective and the constraints. We introduce the notion of a correction function, and an additional penalty term in the loss function, modelling practical scenarios where an estimated optimal solution can be modified into a feasible solution after the true parameters are revealed, but at an additional cost. Second, we propose a corresponding algorithmic approach for our framework, which handles all packing and covering linear programs. Our approach is inspired by the prior work of Mandi and Guns, though with crucial modifications and re-derivations for our very different setting. Experimentation demonstrates the superior empirical performance of our method over classical approaches.


title: The Study of Atmosphere of Hot Jupiters and Their Host Stars

abstract: What makes the study of exoplanetary atmospheres so hard is the extraction of its tiny signal from observations, usually dominated by telluric absorption, stellar spectrum and instrumental noise. The High Resolution Spectroscopy has emerged as one of the leading techniques for detecting atomic and molecular species (Birkby 2018), but although it is particularly robust against contaminant absorption in the Earth's atmosphere, the non-stationary stellar spectrum -- in the form of either Doppler shift or distortion of the line profile during planetary transits -- creates a non-negligible source of noise that can alter or even prevent the detection. Recently, significant improvements have been achieved by using 3D, radiative hydrodynamical (RHD) simulations for the star and Global Circulation Models (GCM) for the planet (e.g., Chiavassa & Brogi 2019, Flowers et al. 2019). However, these numerical simulations have been computed independently so far, while acquired spectra are the result of the natural coupling at each phase along the planet orbit. With our work, we aim at generating emission spectra of G,F, and K-type stars and Hot Jupiters and coupling them at any phase of the orbit. This approach is expected to be particularly advantageous for those molecules that are present in both the atmospheres (e.g., CO) and form in the same region of the spectrum, resulting in mixed and overlapped spectral lines. We also present the analysis of transmission spectra of the Hot Saturn WASP-20b, observed in the K-band of the recently upgraded spectrograph CRIRES+ at a resolution ~92, 000 during the first night of the Science Verification of the instrument and that led to a tentative detection of H2O.


title: Multisecret-sharing scheme with two-level security and its applications in Blockchain

abstract: A $(t,m)$-threshold secret sharing and multisecret-sharing scheme based on Shamir's SSS are introduced with two-level security using a one-way function. Besides we give its application in smart contract-enabled consortium blockchain network. The proposed scheme is thoroughly examined in terms of security and efficiency. Privacy, security, integrity, and scalability are also analyzed while applying it to the blockchain network.