title: An EF2X Allocation Protocol for Restricted Additive Valuations

abstract: We study the problem of fairly allocating a set of $m$ indivisible goods to a set of $n$ agents. Envy-freeness up to any good (EFX) criteria -- which requires that no agent prefers the bundle of another agent after removal of any single good -- is known to be a remarkable analogous of envy-freeness when the resource is a set of indivisible goods. In this paper, we investigate EFX notion for the restricted additive valuations, that is, every good has some non-negative value, and every agent is interested in only some of the goods. We introduce a natural relaxation of EFX called EFkX which requires that no agent envies another agent after removal of any $k$ goods. Our main contribution is an algorithm that finds a complete (i.e., no good is discarded) EF2X allocation for the restricted additive valuations. In our algorithm we devise new concepts, namely "configuration" and "envy-elimination" that might be of independent interest. We also use our new tools to find an EFX allocation for restricted additive valuations that discards at most $\lfloor n/2 \rfloor -1$ goods. This improves the state of the art for the restricted additive valuations by a factor of $2$.


title: The Complexity of Evaluating nfer

abstract: Nfer is a rule-based language for abstracting event streams into a hierarchy of intervals with data. Nfer has multiple implementations and has been applied in the analysis of spacecraft telemetry and autonomous vehicle logs. This work provides the first complexity analysis of nfer evaluation, i.e., the problem of deciding whether a given interval is generated by applying rules. We show that the full nfer language is undecidable and that this depends on both recursion in the rules and an infinite data domain. By restricting either or both of those capabilities, we obtain tight decidability results. We also examine the impact on complexity of exclusive rules and minimality. For the most practical case, which is minimality with finite data, we provide a polynomial-time algorithm.


title: Collective photon emission patterns from two atoms in free space

abstract: Modification of spontaneous decay in space and time is a central topic of quantum physics. It has been predominantly investigated in the context of cavity quantum electrodynamics (QED), gaining new interest recently in the domain of nano-optics. Beyond cavity-QED, spontaneous emission may be modified also in free space due to correlations among the photon emitters, a phenomenon known as super- and sub-radiance. Correlations may stem either from direct interactions between the particles, from long-range exchange of photons, or by measuring single photons in a common mode. Yet, the genuine spatial spontaneous emission pattern of an atomic ensemble in an entangled quantum state has not been observed so far, due to the lack of ultra-fast cameras with high spatial resolution suited for recording single photons from single atoms. Preparing two trapped ions in free space in entangled Dicke states via photon detection, we study the resulting collective spontaneous emission patterns. Depending on the symmetry of the Dicke states, associated with the direction of detection of the first state-determining photon, we observe fundamentally different emission patterns for the subsequently scattered photon, including super- and sub-radiance. Our results demonstrate that the detection of a single photon can profoundly modify the collective emission of an atomic array, here represented by its most elementary building block of two atoms in free space.


title: On some realizable metabelian $5$-groups

abstract: Let $G$ be a $5$-group of maximal class and $\gamma_2(G) = [G, G]$ its derived group. Assume that the abelianization $G/\gamma_2(G)$ is of type $(5, 5)$ and the transfers $V_{H_1\to \gamma_2(G)}$ and $V_{H_2\to \gamma_2(G)}$ are trivial, where $H_1$ and $H_2$ are two maximal normal subgroups of $G$. Then $G$ is completely determined with the isomorphism class groups of maximal class. Moreover the group $G$ is realizable with some fields $k$, which is the normal closure of a pure quintic field.


title: Hierarchical Policy Learning for Mechanical Search

abstract: Retrieving objects from clutters is a complex task, which requires multiple interactions with the environment until the target object can be extracted. These interactions involve executing action primitives like grasping or pushing as well as setting priorities for the objects to manipulate and the actions to execute. Mechanical Search (MS) is a framework for object retrieval, which uses a heuristic algorithm for pushing and rule-based algorithms for high-level planning. While rule-based policies profit from human intuition in how they work, they usually perform sub-optimally in many cases. Deep reinforcement learning (RL) has shown great performance in complex tasks such as taking decisions through evaluating pixels, which makes it suitable for training policies in the context of object-retrieval. In this work, we first formulate the MS problem in a principled formulation as a hierarchical POMDP. Based on this formulation, we propose a hierarchical policy learning approach for the MS problem. For demonstration, we present two main parameterized sub-policies: a push policy and an action selection policy. When integrated into the hierarchical POMDP's policy, our proposed sub-policies increase the success rate of retrieving the target object from less than 32% to nearly 80%, while reducing the computation time for push actions from multiple seconds to less than 10 milliseconds.


title: The Effect of Micromotion and Local Stress in Quantum simulation with Trapped Ions in Optical Tweezers

abstract: The ability to program and control interactions provides the key to implementing large-scale quantum simulation and computation in trapped ion systems. Adding optical tweezers, which can tune the phonon spectrum and thus modify the phonon-mediated spin-spin interaction, was recently proposed as a way of programming quantum simulators for a broader range of spin models [Arias Espinoza et al., Phys. Rev. A {\bf 103}, 052437]. In this work we study the robustness of our findings in the presence of experimental imperfections: micromotion, local stress, and intensity noise. We show that the effects of micromotion can be easily circumvented when designing and optimizing tweezer patterns to generate a target interaction. Furthermore, while local stress, whereby the tweezers apply small forces on individual ions, may appear to enable further tuning of the spin-spin interactions, any additional flexibility is negligible. We conclude that optical tweezers are a useful method for controlling interactions in trapped ion quantum simulators in the presence of micromotion and imperfections in the tweezer alignment, but require intensity stabilization on the sub-percent level.


title: Compatible, split and family Loday-algebras

abstract: Given a nonsymmetric operad $\mathcal{O}$, we first construct two new nonsymmetric operads $\mathcal{O}^{\mathrm{comp}}$ and $\mathcal{O}^{\mathrm{Dend}}$. These operads are respectively useful to study compatible and split Loday-algebras. As an application of the operad $\mathcal{O}^{\mathrm{comp}}$, we show that the cohomology of a compatible associative algebra carries a Gerstenhaber structure. We give an application of the operad $\mathcal{O}^\mathrm{Dend}$ to dendriform algebras and find generalizations to other Loday-algebras. In the end, we construct another operad $\mathrm{Fam}(\mathcal{O}^\Omega)^\mathrm{Dend}$ to study dendriform-family algebras recently introduced in the literature. We also define and study homotopy dendriform-family algebras.


title: Estimating Model Performance on External Samples from Their Limited Statistical Characteristics

abstract: Methods that address data shifts usually assume full access to multiple datasets. In the healthcare domain, however, privacy-preserving regulations as well as commercial interests limit data availability and, as a result, researchers can typically study only a small number of datasets. In contrast, limited statistical characteristics of specific patient samples are much easier to share and may be available from previously published literature or focused collaborative efforts. Here, we propose a method that estimates model performance in external samples from their limited statistical characteristics. We search for weights that induce internal statistics that are similar to the external ones; and that are closest to uniform. We then use model performance on the weighted internal sample as an estimation for the external counterpart. We evaluate the proposed algorithm on simulated data as well as electronic medical record data for two risk models, predicting complications in ulcerative colitis patients and stroke in women diagnosed with atrial fibrillation. In the vast majority of cases, the estimated external performance is much closer to the actual one than the internal performance. Our proposed method may be an important building block in training robust models and detecting potential model failures in external environments.


title: Rate-Distortion Problems of the Poisson Process based on a Group-Theoretic Approach

abstract: We study rate-distortion problems of a Poisson process using a group theoretic approach. By describing a realization of a Poisson point process with either point timings or inter-event (inter-point) intervals and by choosing appropriate distortion measures, we establish rate-distortion problems of a homogeneous Poisson process as ball- or sphere-covering problems for realizations of the hyperoctahedral group in $\mathbb{R}^n$. Specifically, the realizations we investigate are a hypercube and a hyperoctahedron. Thereby we unify three known rate-distortion problems of a Poisson process (with different distortion measures, but resulting in the same rate-distortion function) with the Laplacian-$\ell_1$ rate-distortion problem.


title: Assortative pairing alone can lead to a structured biota in organisms with cultural transmission

abstract: Spatial separation is often included in models of ethnic divergence but it has also been realised that urban subcultures can, and frequently do, emerge in sympatry. Previous research tended to attribute this phenomenon to the human tendency to imitate self-similar individuals and actively differentiate oneself from individuals recognized as members of an outgroup. Application of such a model to non-human animals has been, however, viewed as problematic. We present a parsimonious model of subculture emergence where the algorithm of social learning does not require the assumption of an 'imitation threshold'. All it takes is a slight modification of Galton-Pearson's biometric model previously used to approximate cultural inheritance. The new model includes proportionality between the variance of inputs (cultural 'parents') and the variance of outputs (cultural 'offspring'). In this model, assortment alone can lead to the formation of distinct cohesive clusters of individuals (subcultures) with a low within-group and large between-group variability even in absence of a spatial separation or disruptive natural selection. Sympatric emergence of arbitrary behavioural varieties preceding ecological divergence may thus represent the norm, not the exception, in all cultural animals.


title: Points-of-Interest Relationship Inference with Spatial-enriched Graph Neural Networks

abstract: As a fundamental component in location-based services, inferring the relationship between points-of-interests (POIs) is very critical for service providers to offer good user experience to business owners and customers. Most of the existing methods for relationship inference are not targeted at POI, thus failing to capture unique spatial characteristics that have huge effects on POI relationships. In this work we propose PRIM to tackle POI relationship inference for multiple relation types. PRIM features four novel components, including a weighted relational graph neural network, category taxonomy integration, a self-attentive spatial context extractor, and a distance-specific scoring function. Extensive experiments on two real-world datasets show that PRIM achieves the best results compared to state-of-the-art baselines and it is robust against data sparsity and is applicable to unseen cases in practice.


title: AGMR-Net: Attention Guided Multiscale Recovery framework for stroke segmentation

abstract: Automatic and accurate lesion segmentation is critical for clinically estimating the lesion statuses of stroke diseases and developing appropriate diagnostic systems. Although existing methods have achieved remarkable results, further adoption of the models is hindered by: (1) inter-class indistinction, the normal brain tissue resembles the lesion in appearance. (2) intra-class inconsistency, large variability exists between different areas of the lesion. To solve these challenges in stroke segmentation, we propose a novel method, namely Attention Guided Multiscale Recovery framework (AGMR-Net) in this paper. Firstly, a coarse-grained patch attention module in the encoding is adopted to get a patch-based coarse-grained attention map in a multi-stage explicitly supervised way, enabling target spatial context saliency representation with a patch-based weighting technique that eliminates the effect of intra-class inconsistency. Secondly, to obtain a more detailed boundary partitioning to solve the challenge of the inter-class indistinction, a newly designed cross-dimensional feature fusion module is used to capture global contextual information to further guide the selective aggregation of 2D and 3D features, which can compensate for the lack of boundary learning capability of 2D convolution. Lastly, in the decoding stage, an innovative designed multi-scale deconvolution upsampling instead of linear interpolation enhances the recovery of target space and boundary information. The AGMR-Net is evaluated on the open dataset Anatomical Tracings of Lesions-After-Stroke (ATLAS), achieving the highest dice similarity coefficient (DSC) score of 0.594, Hausdorff distance of 27.005 mm, and average symmetry surface distance of 7.137 mm, which demonstrate that our proposed method outperforms other state-of-the-art methods and has great potential in the diagnosis of stroke.


title: Differential cross sections and photon beam asymmetries of $\eta$ photoproduction on the proton at $E_\gamma$ = 1.3-2.4 GeV

abstract: We have carried out exclusive measurements for the photoproduction of an $\eta$ meson from a proton target with an egg-shaped calorimeter made of BGO crystals (BGOegg) and forward charged-particle detectors at the SPring-8 LEPS2 beamline. The differential cross sections and photon beam asymmetries of the $\gamma p \to \eta p$ reaction are measured in a center-of-mass energy ($W$) range of $1.82$-$2.32$ GeV and a polar angle range of $-1.0 < \cos{\theta^{\eta}_{\mathrm{c.m.}}} < 0.6$. The reaction is identified by selecting a proton and two $\gamma$'s produced by an $\eta$-meson decay. The kinematic fit method was employed to select the reaction candidate with the confidence level larger than $1$\%. A bump structure at $W$ = $2.0$-$2.3$ GeV in the differential cross section is confirmed at extremely backward $\eta$ polar angles, where the existing data are inconsistent with each other. This bump structure is likely associated with high-spin resonances that couple with $s\bar{s}$ quarks. The results of the photon beam asymmetries in a wide $\eta$ polar angle range are new for the photon beam energies exceeding $2.1$ GeV. These results are not reproduced by the existing partial wave analyses. They provide an additional constraint to nucleon resonance studies at high energies.


title: Bayesian Hierarchical Copula Model for Financial Time series

abstract: We discuss a Bayesian hierarchical copula model for clusters of financial time series. A similar approach has been developed in Zhuang et al. (2020). However, the prior distributions proposed there do not always provide a proper posterior. In order to circumvent the problem, we adopt a proper global-local shrinkage prior, which is also able to account for potential dependence structure among different clusters. The performance of the proposed model is presented through simulations and a real data analysis.


title: Computational Experiments: Past, Present and Future

abstract: Powered by advanced information technology, more and more complex systems are exhibiting characteristics of the Cyber-Physical-Social Systems (CPSS). Understanding the mechanism of CPSS is essential to our ability to control their actions, reap their benefits and minimize their harms. In consideration of the cost, legal and institutional constraints on the study of CPSS in real world, computational experiments have emerged as a new method for quantitative analysis of CPSS. This paper outlines computational experiments from several key aspects, including origin, characteristics, methodological framework, key technologies, and some typical applications. Finally, this paper highlights some challenges of computational experiments to provide a roadmap for its rapid development and widespread application.


title: On the quadrature exactness in hyperinterpolation

abstract: This paper investigates the role of quadrature exactness in the approximation scheme of hyperinterpolation. Constructing a hyperinterpolant of degree $n$ requires a positive-weight quadrature rule with exactness degree $2n$. We examine the behavior of such approximation when the required exactness degree $2n$ is relaxed to $n+k$ with $0<k\leq n$. Aided by the Marcinkiewicz--Zygmund inequality, we affirm that the $L^2$ norm of the exactness-relaxing hyperinterpolation operator is bounded by a constant independent of $n$, and this approximation scheme is convergent as $n\rightarrow\infty$ if $k$ is positively correlated to $n$. Thus, the family of candidate quadrature rules for constructing hyperinterpolants can be significantly enriched, and the number of quadrature points can be considerably reduced. As a potential cost, this relaxation may slow the convergence rate of hyperinterpolation in terms of the reduced degrees of quadrature exactness. Our theoretical results are asserted by numerical experiments on three of the best-known quadrature rules: the Gauss quadrature, the Clenshaw--Curtis quadrature, and the spherical $t$-designs.


title: Automated generation of large-scale distribution grid models based on open data and open source software using an optimization approach

abstract: The increasing share of renewable energy sources on distribution grid level as well as the emerging active role of prosumers lead to both higher distribution grid utilization, and at the same time greater unpredictability of energy generation and consumption. This poses major problems for grid operators in view of, e.g., voltage stability and line (over)loading. Thus, detailed and comprehensive simulation models are essential for planning future distribution grid expansion in view of the expected strong electrification of society. In this context, the contribution of the present paper is a new, more refined method for automated creation of large-scale detailed distribution grid models based solely on publicly available GIS and statistical data. Utilizing the street layouts in Open Street Maps as potential cable routes, a graph representation is created and complemented by residential units that are extracted from the same data source. This graph structure is adjusted to match electrical low-voltage grid topology by solving a variation of the minimum cost flow linear optimization problem with provided data on secondary substations. In a final step, the generated grid representation is transferred to a DIgSILENT PowerFactory model with photovoltaic systems. The presented workflow uses open source software and is fully automated and scalable that allows the generation of ready-to-use distribution grid simulation models for given 20kV substation locations and additional data on residential unit properties for improved results. The performance of the developed method with respect to grid utilization is presented for a selected suburban residential area with power flow simulations for eight scenarios including current residential PV installation and a future scenario with full PV expansion. Furthermore, the suitability of the generated models for quasi-dynamic simulations is shown.


title: Explainable deepfake and spoofing detection: an attack analysis using SHapley Additive exPlanations

abstract: Despite several years of research in deepfake and spoofing detection for automatic speaker verification, little is known about the artefacts that classifiers use to distinguish between bona fide and spoofed utterances. An understanding of these is crucial to the design of trustworthy, explainable solutions. In this paper we report an extension of our previous work to better understand classifier behaviour to the use of SHapley Additive exPlanations (SHAP) to attack analysis. Our goal is to identify the artefacts that characterise utterances generated by different attacks algorithms. Using a pair of classifiers which operate either upon raw waveforms or magnitude spectrograms, we show that visualisations of SHAP results can be used to identify attack-specific artefacts and the differences and consistencies between synthetic speech and converted voice spoofing attacks.


title: Quotients of Palindromic and Antipalindromic Numbers

abstract: A natural number N is said to be palindromic if its binary representation reads the same forwards and backwards. In this paper we study the quotients of two palindromic numbers and answer some basic questions about the resulting sets of integers and rational numbers. For example, we show that the following problem is algorithmically decidable: given an integer N, determine if we can write N = A/B for palindromic numbers A and B. Given that N is representable, we find a bound on the size of the numerator of the smallest representation. We prove that the set of unrepresentable integers has positive density in N. We also obtain similar results for quotients of antipalindromic numbers (those for which the first half of the binary representation is the reverse complement of the second half). We also provide examples, numerical data, and a number of intriguing conjectures and open problems.


title: Taxpayer deductions and the endogenous probability of tax penalisation

abstract: We propose a parametric specification of the probability of tax penalisation faced by a taxpayer, based on the amount of deduction chosen by her to reduce total taxation. Comparative analyses lead to a closed-form solution for the optimum tax deduction, and provide the maximising conditions with respect to the probability parameters.


title: Effects of Mesh Topology on MHD Solution Features in Coronal Simulations

abstract: Magnetohydrodynamic (MHD) simulations of the solar corona have become more popular with the increased availability of computational power. Modern computational plasma codes, relying upon Computational Fluid Dynamics (CFD) methods, allow for resolving the coronal features using solar surface magnetograms as inputs. These computations are carried out in a full 3D domain and thus selection of the right mesh configuration is essential to save computational resources and enable/speed up convergence. In addition, it has been observed that for MHD simulations close to the hydrostatic equilibrium, spurious numerical artefacts might appear in the solution following the mesh structure, which makes the selection of the grid also a concern for accuracy. The purpose of this paper is to discuss and trade off two main mesh topologies when applied to global solar corona simulations using the unstructured ideal MHD solver from the COOLFluiD platform. The first topology is based on the geodesic polyhedron and the second on UV mapping. Focus will be placed on aspects such as mesh adaptability, resolution distribution, resulting spurious numerical fluxes and convergence performance. For this purpose, firstly a rotating dipole case is investigated, followed by two simulations using real magnetograms from the solar minima (1995) and solar maxima (1999). It is concluded that the most appropriate mesh topology for the simulation depends on several factors, such as the accuracy requirements, the presence of features near the polar regions and/or strong features in the flow field in general. If convergence is of concern and the simulation contains strong dynamics, then grids which are based on the geodesic polyhedron are recommended compared to more conventionally used UV-mapped meshes.


title: Metric, Schauder and Operator-Valued Frames

abstract: Notion of frames and Bessel sequences for metric spaces have been introduced. This notion is related with the notion of Lipschitz free Banach spaces. \ It is proved that every separable metric space admits a metric $\mathcal{M}_d$-frame. Through Lipschitz-free Banach spaces it is showed that there is a correspondence between frames for metric spaces and frames for subsets of Banach spaces. Several characterizations of metric frames are obtained. Stability results are also presented. Non linear multipliers are introduced and studied. This notion is connected with the notion of Lipschitz compact operators. Continuity properties of multipliers are discussed. For a subclass of approximated Schauder frames for Banach spaces, characterization result is derived using standard Schauder basis for standard sequence spaces. Duals of a subclass of approximate Schauder frames are completely described. Similarity of this class is characterized and interpolation result is derived using orthogonality. A dilation result is obtained. A new identity is derived for Banach spaces which admit a homogeneous semi-inner product. Some stability results are obtained for this class. A generalization of operator-valued frames for Hilbert spaces are introduced which unifies all the known generalizations of frames for Hilbert spaces. This notion has been studied in depth by imposing factorization property of the frame operator. Its duality, similarity and orthogonality are addressed. Connections between this notion and unitary representations of groups and group-like unitary systems are derived. Paley-Wiener theorem for this class are derived.


title: Naked singularity in 4D Einstein-Gauss-Bonnet novel gravity: Echoes and (in)-stability

abstract: We study the stability of an asymptotically flat, static, spherically symmetric naked singularity spacetime in the novel four dimensional Einstein-Gauss-Bonnet (EGB) gravity. The four dimensional EGB black hole for large enough values of the coupling parameter leads to such a naked singularity. The stability and the response of the spacetime is studied against the perturbations by test scalar, electromagnetic and Dirac fields and the time evolution of these perturbations were observed numerically. Implementing a null Dirichlet boundary condition near the singularity, we observed that for l=1 modes of scalar, electromagnetic perturbation and l=0,1 modes of Dirac perturbation the time-domain profile give rise to distinct echoes. However, as the coupling constant is increased, the echoes align and the QNM structure of the 4D-EGB naked singularity-spacetime becomes prominent. For higher values of the multipole number, the spacetime becomes unstable, thereby restricting the parameter space for the coupling parameter.


title: Determining wave equations in holographic QCD from Wilsonian renormalization group

abstract: We show a possible way to build the AdS/CFT correspondence starting from the quantum field theory side based on renormalization group approach. An extra dimension is naturally introduced in our scheme as the renomalization scale. The holographic wave equations are derived, with the potential term being determined by the QFT properties. We discover that only around the fixed point, i.e. the conformal limit, the potential in the bulk equations can be fully constrained, and upon this foundation, the correspondence is build. We demonstrate this fact using a 3D scalar theory in which, besides the trivial fixed point, there exists the Wilson-Fisher fixed point. From the energy scalings around those fixed points, we determine the behavior of the potential in the bulk equations.


title: A GNSS Aided Initial Alignment Method for MEMS-IMU Based on Backtracking Algorithm and Backward Filtering

abstract: To obtain a high-accuracy position with SINS(Strapdown Inertial Navigation System), initial alignment needs to determine initial attitude rapidly and accurately. High-accuracy grade IMU(Inertial Measurement Uint) can obtain the initial attitude indenpendently, however, the low-accuracy grade gyroscope doesn't adapt to determine the heading angle, hence the initial attitude matrix will not be obtained. If using large misalignment angle model to estiamting heading angle, the convergence time will become much longer. For solving these two problems, a novel alignment algorithm combined backtracking algorithm and reverse navigation updating method with GNSS(Global Navigation Satellite System) aiding is proposed herein. The simulation and land vehicle test were finished to evaluate the alignment accuracy of the proposed algorithm. The horizontal misalignment is less than 2.3 arcmin and the heading misalignment is less than 10.1 arcmin in test. The proposed algorithm is a feasible and practical alignment method for low-cost IMU to obtain initial attitude in short term and large misalignment condition aided by GNSS.


title: How do interfaces alter the dynamics of supercooled water?

abstract: The structure of liquid water in the proximity of an interface can deviate significantly from that of bulk water, with surface-induced structural perturbations typically converging to bulk values at about ~1 nm from the interface. While these structural changes are well established it is, in contrast, less clear how an interface perturbs the dynamics of water molecules within the liquid. Here, through an extensive set of molecular dynamics simulations of supercooled bulk and interfacial water films and nano-droplets, we observe the formation of persistent, spatially extended dynamical domains in which the average mobility varies as a function of the distance from the interface. This is in stark contrast with the dynamical heterogeneity observed in bulk water, where these domains average out spatially over time. We also find that the dynamical response of water to an interface depends critically on the nature of the interface and on the choice of interface definition. Overall these results reveal a richness in the dynamics of interfacial water that opens up the prospect of tuning the dynamical response of water through specific modifications of the interface structure or confining material.


title: On the period of Li, Pertusi and Zhao's symplectic variety

abstract: We extend classical results of Perego and Rapagnetta on moduli spaces of sheaves of type OG10 to moduli spaces of Bridgeland semistable objects on the Kuznetsov component of a cubic fourfold. In particular, we determine the period of this class of varieties and use it to understand when they become birational to moduli spaces of sheaves on a K3 surface.


title: Spectroscopic evolution of very massive stars at Z = 1/2.5 Zsun

abstract: Stars with masses in excess of 100 Msun are observed in the Local Universe, but they remain rare objects. Because of the shape of the mass function, they are expected to be present only in the most massive and youngest clusters. They may thus be formed in number in highly star-forming galaxies. Very massive stars (VMSs) experience strong stellar winds that are stronger than those of their less massive OB-type counterparts. These strong winds therefore need to be taken into account in evolutionary models and synthetic spectra to properly predict the appearance of VMS. We present evolutionary models computed with the code STAREVOL. They include a recent mass-loss recipe that is relevant for VMSs. We subsequently calculated atmosphere models and synthetic spectra along the resulting tracks with the code CMFGEN. We studied stars with masses between 150 and 400 Msun and focused on a metallicity Z=1/2.5Zsun. We studied the impact of our VMS spectra on the spectral energy distribution of young starbursts. We show that the optical and UV range is dominated by HeII 4686 and HeII 1640 emission for almost the entire main-sequence evolution of VMSs, in contrast to less massive stars. In the UV spectral range, carbon, nitrogen, and iron lines shape the spectra of VMSs, which appear for most of their evolution as WNh objects. The morphology of the synthetic spectra is similar to that of VMSs in the Large Magellanic Cloud. We show that stars with masses higher than 100 Msun emit nearly as much light as all other stars in young starbursts. The integrated UV spectrum of these starbursts is significantly affected by the presence of VMSs.


title: Time-resolved chiral X-Ray photoelectron spectroscopy with transiently enhanced atomic site-selectivity: a Free Electron Laser investigation of electronically excited fenchone enantiomers

abstract: Chiral molecules are widespread in nature, playing a fundamental role in bio-chemical processes and in the origin of life itself. The observation of dynamics in chiral molecules is crucial for the understanding and control of the chiral activity of photo-excited states. One of the most promising techniques for the study of photo-excited chiral systems is time-resolved photoelectron circular dichroism (TR-PECD), which offers an intense and sensitive probe for vibronic and geometric molecular structure as well as electronic structures, and their evolution on a femtosecond timescale. However, the non-local character of the PECD effect, which is imprinted during the electron scattering off the molecule, makes the interpretation of TR-PECD experiments challenging. In this respect, core-photoionization is known to allow site- and chemical-sensitivity to photelectron spectroscopy. Here we demonstrate that TR-PECD utilising core-level photoemission enables probing the chiral electronic structure and its relaxation dynamics with atomic site sensitivity. Following UV pumped excitation to a 3s Rydberg state, fenchone enantiomers (C 10 H 16 O) were probed on a femtosecond scale using circularly polarized soft X-ray light pulses provided by the free-electron laser FERMI. C 1s binding energy shifts caused by the redistribution of valence electron density in this 3s-valence-Rydberg excitation allowed us to measure transient PECD chiral responses with an enhanced C-atom site-selectivity compared to that achievable in the ground state molecule. These results represent the first chemical-specific and site-specific, enantio-sensitive observations on the electronic structure of a photo-excited chiral molecule and pave the way towards chiral femtochemistry probed by core-level photoemission.


title: Mechanical mode engineering with orthotropic metamaterial membranes

abstract: Metamaterials are structures engineered at a small scale with respect to the wavelength of the excitations they interact with. These structures behave as artificial materials whose properties can be chosen by design, mocking and even outperforming natural materials and making them the quintessential tool for manipulation of wave systems. In this Letter we show how the acoustic properties of a silicon nitride membrane can be affected by nanopatterning. The degree of asymmetry in the pattern geometry induces an artificial anisotropic elasticity, resulting in the splitting of otherwise degenerate mechanical modes. The artificial material we introduce has a maximum Ledbetter-Migliori anisotropy of 1.568, favorably comparing to most bulk natural crystals. With an additional freedom in defining arbitrary asymmetry axes by pattern rotation, our approach can be useful for fundamental investigation of material properties as well as for devising improved sensors of light, mass or acceleration based on micromechanical resonators.


title: Monkey Business: Reinforcement learning meets neighborhood search for Virtual Network Embedding

abstract: In this article, we consider the Virtual Network Embedding (VNE) problem for 5G networks slicing. This problem requires to allocate multiple Virtual Networks (VN) on a substrate virtualized physical network while maximizing among others, resource utilization, maximum number of placed VNs and network operator's benefit. We solve the online version of the problem where slices arrive over time. Inspired by the Nested Rollout Policy Adaptation (NRPA) algorithm, a variant of the well known Monte Carlo Tree Search (MCTS) that learns how to perform good simulations over time, we propose a new algorithm that we call Neighborhood Enhanced Policy Adaptation (NEPA). The key feature of our algorithm is to observe NRPA cannot exploit knowledge acquired in one branch of the state tree for another one which starts differently. NEPA learns by combining NRPA with Neighbordhood Search in a frugal manner which improves only promising solutions while keeping the running time low. We call this technique a monkey business because it comes down to jumping from one interesting branch to the other, similar to how monkeys jump from tree to tree instead of going down everytime. NEPA achieves better results in terms of acceptance ratio and revenue-to-cost ratio compared to other state-of-the-art algorithms, both on real and synthetic topologies.


title: Stable discretizations and IETI-DP solvers for the Stokes system in multi-patch Isogeometric Analysis

abstract: We are interested in a fast solver for the Stokes equations, discretized with multi-patch Isogeometric Analysis. In the last years, several inf-sup stable discretizations for the Stokes problem have been proposed, often the analysis was restricted to single-patch domains. We focus on one of the simplest approaches, the isogeometric Taylor--Hood element. We show how stability results for single-patch domains can be carried over to multi-patch domains. While this is possible, the stability strongly depends on the shape of the geometry. We construct a Dual-Primal Isogeometric Tearing and Interconnecting (IETI-DP) solver that does not suffer from that effect. We give a convergence analysis and provide numerical tests.


title: Joint Camera Intrinsic and LiDAR-Camera Extrinsic Calibration

abstract: Sensor-based environmental perception is a crucial step for autonomous driving systems, for which an accurate calibration between multiple sensors plays a critical role. For the calibration of LiDAR and camera, the existing method is generally to calibrate the intrinsic of the camera first and then calibrate the extrinsic of the LiDAR and camera. If the camera's intrinsic is not calibrated correctly in the first stage, it isn't easy to calibrate the LiDAR-camera extrinsic accurately. Due to the complex internal structure of the camera and the lack of an effective quantitative evaluation method for the camera's intrinsic calibration, in the actual calibration, the accuracy of extrinsic parameter calibration is often reduced due to the tiny error of the camera's intrinsic parameters. To this end, we propose a novel target-based joint calibration method of the camera intrinsic and LiDAR-camera extrinsic parameters. Firstly, we design a novel calibration board pattern, adding four circular holes around the checkerboard for locating the LiDAR pose. Subsequently, a cost function defined under the reprojection constraints of the checkerboard and circular holes features is designed to solve the camera's intrinsic parameters, distortion factor, and LiDAR-camera extrinsic parameter. In the end, quantitative and qualitative experiments are conducted in actual and simulated environments, and the result shows the proposed method can achieve accuracy and robustness performance. The open-source code is available at https://github.com/OpenCalib/JointCalib.


title: Remote trajectory tracking of a rigid body in an incompressible fluid at low Reynolds number

abstract: In this paper we study the motion of a rigid body driven by Newton's law immersed in a stationary incompressible Stokes flow occupying a bounded simply connected domain. The aim is that of trajectory tracking of the solid by the means of a control in the form of Dirichlet boundary data on the outside boundary of the fluid domain. We show that it is possible to exactly achieve any smooth trajectory for the solid that stays away from the external boundary, by the means of such a remote control. The proof relies on some density methods for the Stokes system, as well as a reformulation of the solid equations into an ODE.


title: Best of Many Worlds Guarantees for Online Learning with Knapsacks

abstract: We study online learning problems in which a decision maker wants to maximize their expected reward without violating a finite set of $m$ resource constraints. By casting the learning process over a suitably defined space of strategy mixtures, we recover strong duality on a Lagrangian relaxation of the underlying optimization problem, even for general settings with non-convex reward and resource-consumption functions. Then, we provide the first best-of-many-worlds type framework for this setting, with no-regret guarantees under stochastic, adversarial, and non-stationary inputs. Our framework yields the same regret guarantees of prior work in the stochastic case. On the other hand, when budgets grow at least linearly in the time horizon, it allows us to provide a constant competitive ratio in the adversarial case, which improves over the best known upper bound bound of $O(\log m \log T)$. Moreover, our framework allows the decision maker to handle non-convex reward and cost functions. We provide two game-theoretic applications of our framework to give further evidence of its flexibility. In doing so, we show that it can be employed to implement budget-pacing mechanisms in repeated first-price auctions.


title: Evaluating the Adversarial Robustness of Adaptive Test-time Defenses

abstract: Adaptive defenses, which optimize at test time, promise to improve adversarial robustness. We categorize such adaptive test-time defenses, explain their potential benefits and drawbacks, and evaluate a representative variety of the latest adaptive defenses for image classification. Unfortunately, none significantly improve upon static defenses when subjected to our careful case study evaluation. Some even weaken the underlying static model while simultaneously increasing inference computation. While these results are disappointing, we still believe that adaptive test-time defenses are a promising avenue of research and, as such, we provide recommendations for their thorough evaluation. We extend the checklist of Carlini et al. (2019) by providing concrete steps specific to adaptive defenses.


title: Near-field radiative heat transfer between hybrid polaritonic structures

abstract: Near-field radiative heat transfer between close objects may exceed the far-field blackbody radiation in orders of magnitude when exploiting polaritonic materials. Great efforts have been made to experimentally measure this fundamental stochastic effect but mostly based on simple materials. In this work, we foster an all-optical method to characterize the heat transfer between less explored plasmon-phonon hybrid polaritonic systems made of graphene-SiC heterostructures. A large heat flux about 26 times of the blackbody radiation limit is obtained over a 150-nm vacuum gap, attributed to the couplings of three different surface modes (plasmon, phonon polaritons and frustrated mode). The interaction of polaritonic modes in the hybrid system is also explored to build a switchable thermophotonic device with nearly unity heat flux tunability. This work paves the way for understanding mode-mediated near-field heat transfer and provides a platform for building thermophotonic or thermo-optoelectronic blocks for various applications.


title: Effect of tax dynamics on linearly growing processes under stochastic resetting: a possible economic model

abstract: We study a system of $N$ agents, whose wealth grows linearly, under the effect of stochastic resetting and interacting via a tax-like dynamics -- all agents donate a part of their wealth, which is, in turn, redistributed equally among all others. This mimics a socio-economic scenario where people have fixed incomes, suffer individual economic setbacks, and pay taxes to the state. The system always reaches a stationary state, which shows a trivial exponential wealth distribution in the absence of tax dynamics. The introduction of the tax dynamics leads to several interesting features in the stationary wealth distribution. In particular, we analytically find that an increase in taxation for a homogeneous system (where all agents are alike) results in a transition from a society where agents are most likely poor to another where rich agents are more common. We also study inhomogeneous systems, where the growth rates of the agents are chosen from a distribution, and the taxation is proportional to the individual growth rates. We find an optimal taxation, which produces a complete economic equality (average wealth is independent of the individual growth rates), beyond which there is a reverse disparity, where agents with low growth rates are more likely to be rich. We consider three income distributions observed in the real world and show that they exhibit the same qualitative features. Our analytical results are in the $N\to\infty$ limit and backed by numerical simulations.


title: Robust resource-efficient quantum variational ansatz through evolutionary algorithm

abstract: Variational quantum algorithms (VQAs) are promising methods to demonstrate quantum advantage on near-term devices as the required resources are divided between a quantum simulator and a classical optimizer. As such, designing a VQA which is resource-efficient and robust against noise is a key factor to achieve potential advantage with the existing noisy quantum simulators. It turns out that a fixed VQA circuit design, such as the widely-used hardware efficient ansatz, is not necessarily robust against imperfections. In this work, we propose a genome-length-adjustable evolutionary algorithm to design a robust VQA circuit that is optimized over variations of both circuit ansatz and gate parameters, without any prior assumptions on circuit structure or depth. Remarkably, our method not only generates a noise-effect-minimized circuit with shallow depth, but also accelerates the classical optimization by substantially reducing the number of parameters. In this regard, the optimized circuit is far more resource-efficient with respect to both quantum and classical resources. As applications, based on two typical error models in VQA, we apply our method to calculate the ground energy of the hydrogen and the water molecules as well as the Heisenberg model. Simulations suggest that compared with conventional hardware efficient ansatz, our circuit-structure-tunable method can generate circuits apparently more robust against both coherent and incoherent noise, and hence is more likely to be implemented on near-term devices.


title: Fast and Compute-efficient Sampling-based Local Exploration Planning via Distribution Learning

abstract: Exploration is a fundamental problem in robotics. While sampling-based planners have shown high performance, they are oftentimes compute intensive and can exhibit high variance. To this end, we propose to directly learn the underlying distribution of informative views based on the spatial context in the robot's map. We further explore a variety of methods to also learn the information gain. We show in thorough experimental evaluation that our proposed system improves exploration performance by up to 28% over classical methods, and find that learning the gains in addition to the sampling distribution can provide favorable performance vs. compute trade-offs for compute-constrained systems. We demonstrate in simulation and on a low-cost mobile robot that our system generalizes well to varying environments.


title: SFIP: Coarse-Grained Syscall-Flow-Integrity Protection in Modern Systems

abstract: Growing code bases of modern applications have led to a steady increase in the number of vulnerabilities. Control-Flow Integrity (CFI) is one promising mitigation that is more and more widely deployed and prevents numerous exploits. CFI focuses purely on one security domain. That is, transitions between user space and kernel space are not protected by CFI. Furthermore, if user space CFI is bypassed, the system and kernel interfaces remain unprotected, and an attacker can run arbitrary transitions. In this paper, we introduce the concept of syscall-flow-integrity protection (SFIP) that complements the concept of CFI with integrity for user-kernel transitions. Our proof-of-concept implementation relies on static analysis during compilation to automatically extract possible syscall transitions. An application can opt-in to SFIP by providing the extracted information to the kernel for runtime enforcement. The concept is built on three fully-automated pillars: First, a syscall state machine, representing possible transitions according to a syscall digraph model. Second, a syscall-origin mapping, which maps syscalls to the locations at which they can occur. Third, an efficient enforcement of syscall-flow integrity in a modified Linux kernel. In our evaluation, we show that SFIP can be applied to large scale applications with minimal slowdowns. In a micro- and a macrobenchmark, it only introduces an overhead of 13.1% and 1.8%, respectively. In terms of security, we discuss and demonstrate its effectiveness in preventing control-flow-hijacking attacks in real-world applications. Finally, to highlight the reduction in attack surface, we perform an analysis of the state machines and syscall-origin mappings of several real-world applications. On average, SFIP decreases the number of possible transitions by 38.6% compared to seccomp and 90.9% when no protection is applied.


title: Models for Self-resonant Dark Matter

abstract: We consider a new mechanism for enhancing the self-scattering and annihilation cross sections for dark matter with multiple components but without a light mediator. The lighter dark matter component plays a role of the $u$-channel pole in the elastic co-scattering for dark matter, leading to a large self-scattering cross section and a Sommerfeld enhancement for semi-annihilation processes. Taking the effective theory approach for self-resonant dark matter, we present various combinations of multiple dark matter components with spins and parities, showing a $u$-channel pole in the co-scattering processes. Adopting dark photon and dark Higgs portals for self-resonant dark matter, we impose the relic density condition as well as indirect detection bounds on semi-annihilation channels with a Sommerfeld enhancement and discuss potential signals for direct detection experiments.


title: Fast Feature Selection with Fairness Constraints

abstract: We study the fundamental problem of selecting optimal features for model construction. This problem is computationally challenging on large datasets, even with the use of greedy algorithm variants. To address this challenge, we extend the adaptive query model, recently proposed for the greedy forward selection for submodular functions, to the faster paradigm of Orthogonal Matching Pursuit for non-submodular functions. The proposed algorithm achieves exponentially fast parallel run time in the adaptive query model, scaling much better than prior work. Furthermore, our extension allows the use of downward-closed constraints, which can be used to encode certain fairness criteria into the feature selection process. We prove strong approximation guarantees for the algorithm based on standard assumptions. These guarantees are applicable to many parametric models, including Generalized Linear Models. Finally, we demonstrate empirically that the proposed algorithm competes favorably with state-of-the-art techniques for feature selection, on real-world and synthetic datasets.


title: Guarding Polygons with Holes

abstract: We study the Cooperative Guarding problem for polygons with holes in a mobile multi-agents setting. Given a set of agents, initially deployed at a point in a polygon with $n$ vertices and $h$ holes, we require the agents to collaboratively explore and position themselves in such a way that every point in the polygon is visible to at least one agent and that the set of agents are visibly connected. We study the problem under two models of computation, one in which the agents can compute exact distances and angles between two points in its visibility, and one in which agents can only compare distances and angles. In the stronger model, we provide a deterministic $O(n)$ round algorithm to compute such a cooperative guard set while not requiring more than $\frac{n + h}{2}$ agents and $O(\log n)$ bits of persistent memory per agent. In the weaker model, we provide an $O(n^4)$ round algorithm, that does not require more than $\frac{n+2h}{2}$ agents.


title: A Market Mechanism for Trading Flexibility Between Interconnected Electricity Markets

abstract: Electricity markets differ in their ability to meet power imbalances in short notice in a controlled fashion. Relatively flexible markets have the ability to ramp up (or down) power flows across interties without compromising their ability to reliably meet internal demand. In this paper, a market mechanism to enable flexibility trading amongst market operators is introduced. In the proposed market mechanism, market operators exchange information regarding optimal terms of trade (nodal prices and flows) along interconnection lines at every trading round. Equipped with this information, each market operator then independently solves its own internal chance-constrained economic dispatch problem and broadcasts the updated optimal terms of trade for flows across markets. We show the proposed decentralized market mechanism for flexibility trading converges to a Nash equilibrium of the intraday market coupling game, i.e. a combination of internal market clearing solutions (one for each participating market) and flows and prices along interconnection lines so that no individual market operator has an incentive to modify its own internal solution and/or the terms of trade along interties. For a specific class of chance constraints, we show that the limiting equilibrium outcome is efficient, i.e. it corresponds to the solution of the single market clearing problem for all participating markets. The proposed market mechanism is illustrated with an application to the three-area IEEE Reliability Test System.


title: Positive solutions for a critical elliptic equation

abstract: In this paper, we are concerned with the following elliptic equation \begin{equation*} \begin{cases} -\Delta u= Q(x)u^{2^*-1 }+\varepsilon u^{s},~ &{\text{in}~\Omega},\\[1mm] u>0,~ &{\text{in}~\Omega},\\[1mm] u=0, &{\text{on}~\partial \Omega}, \end{cases} \end{equation*} where $N\geq 3$, $s\in [1,2^*-1)$ with $2^*=\frac{2N}{N-2}$, $\varepsilon>0$, $\Omega$ is a smooth bounded domain in $\mathbb{R}^N$. Under some conditions on $Q(x)$, Cao and Zhong in Nonlin. Anal. TMA (Vol 29, 1997, 461--483) proved that there exists a single-peak solution for small $\varepsilon$ if $N\geq 4$ and $s\in (1,2^*-1)$. And they proposed in Remark 1.7 of their paper that \vskip 0.1cm\begin{center} \emph{``it is interesting to know the existence of single-peak solutions for small $\varepsilon$ and $s=1$''.} \end{center}\vskip 0.1cm \noindent Also it was addressed in Remark 1.8 of their paper that \vskip 0.1cm \begin{center} \emph{``the question of solutions concentrated at several points at the same time is still open''.} \end{center}\vskip 0.1cm \noindent Here we give some confirmative answers to the above two questions. Furthermore, we prove the local uniqueness of the multi-peak solutions. And our results show that the concentration of the solutions to above problem is delicate whether $s=1$ or $s>1$.


title: Combinatorial Cobordism Theory

abstract: We introduce a formalism based on a combinatorial notion of cell complex subject to an inclusion-reversing duality operation. Our main goal is to open the way for a functorial definition of field theories in a context where no manifold or topological structure is assumed. This is achieved via a discrete notion of cobordism for which a composition operation is defined. Our main theorem enables the composition of cobordisms by showing that certain sequences of maps between cell complexes are in bijective correspondence with a cell complex of dimension one higher. As a result we obtain a category whose morphisms are cobordisms having a causal structure generalizing that of Causal Dynamical Triangulations as well as dualities inherited from the duality map defined on cell complexes.


title: Density Functional description of spin, lattice, and spin-lattice dynamics in antiferromagnetic and paramagnetic phases at finite temperatures

abstract: Describing the (a) electronic and magnetic properties (EMP) of antiferromagnetic or paramagnetic phases of compounds generally requires the knowledge of (b) the spin configurations and lattice structure (SCLS) of such phases at a given temperature. Indeed, studying the coupling between (a) and (b) has been an outstanding challenge in the theory of magnetism. The traditional approach to electronic phases of matter has generally focused on solving the problem of EMP regarding the SCLS as a spectator degree of freedom (DOF). Yet, it has been recognized that EMP of a compound generally respond self-consistently to changes in SCLS and vice versa. We construct here a practical, density functional theory (DFT)-based approach that provides the SCLS as a function of temperature, involving the description of spin, lattice, and spin-lattice dynamics of different magnetic phases. We distinguish three Levels of dynamics: (I) dynamics of the spin DOF treated via noncollinear Heisenberg Monte-Carlo with exchange energies from DFT, (II) dynamics of the lattice DOF treated by ab initio molecular dynamics (AIMD) employing a fixed spin configuration from Level I at the simulated temperature, and (III) coupling of spin and lattice dynamics via Landau-Lifshitz-Gilbert spin dynamics combined with AIMD. Such SCLS at each of the three levels are used as inputs to DFT supercell calculations, providing the EMP at each temperature. The results of this sequence include electronic band structures, band gaps, density of states, as well as the statistical distribution of local moments and the short-range order parameters, each as a function of temperature. Using NiO as a test case, we address the separability of the DOF in magnetic insulators for a minimal description of electronic and magnetic properties, demonstrating that inclusion of spin dynamics and, to some level, lattice dynamics is enough to explain the EMP.


title: Analysis of an unsteady quasi-capillary channel flow with Time Resolved PIV and RBF-based super resolution

abstract: We investigate the behaviour of accelerating contact lines in an unsteady quasi-capillary channel flow. The configuration consists of a liquid column that moves along a vertical 2D channel, open to the atmosphere and driven by a controlled pressure head. Both advancing and receding contact lines were analyzed to test the validity of classic models for dynamic wetting and to study the flow field near the interface. The operating conditions are characterized by a large acceleration, thus dominated by inertia. The shape of the moving meniscus was retrieved using Laser-Induced Fluorescence (LIF)-based image processing while the flow field near was analyzed via Time-Resolved Particle Image Velocimetry (TR-PIV). The TR-PIV measurements were enhanced in the post-processing, using a combination of Proper Orthogonal Decomposition (POD) and Radial Basis Functions (RBF) to achieve super-resolution of the velocity field. Large counter-rotating vortices were observed, and their evolution was monitored in terms of the maximum intensity of the Q-field. The results show that classic contact angle laws based on interface velocity cannot describe the evolution of the contact angle at a macroscopic scale. Moreover, the impact of the interface dynamics on the flow field is considerable and extends several capillary lengths below the interface.


title: On Lipschitz Normally Embedded singularities

abstract: Any subanalytic germ $(X,0) \subset (\mathbb R^n,0)$ is equipped with two natural metrics: its outer metric, induced by the standard Euclidean metric of the ambient space, and its inner metric, which is defined by measuring the shortest length of paths on the germ $(X,0)$. The germs for which these two metrics are equivalent up to a bilipschitz homeomorphism, which are called Lipschitz Normally Embedded, have attracted a lot of interest in the last decade. In this survey we discuss many general facts about Lipschitz Normally Embedded singularities, before moving our focus to some recent developments on criteria, examples, and properties of Lipschitz Normally Embedded complex surfaces. We conclude the manuscript with a list of open questions which we believe to be worth of interest.


title: Large perpendicular magnetic anisotropy of transition metal dimers driven by polarization switching of two-dimensional ferroelectric In2Se3 substrate

abstract: Large perpendicular magnetic anisotropy (MA) is highly desirable for realizing atomic-scale magnetic data storage which represents the ultimate limit of the density of magnetic recording. In this work, we studied the MA of transition metal dimers Co-Os, Co-Co and Os-Os adsorbed on two-dimensional ferroelectric In2Se3 (In2Se3-CoOs, In2Se3-OsCo, In2Se3-CoCo and In2Se3-OsOs) by first-principles calculations. It is found that the Co-Os dimer in In2Se3-CoOs has large total perpendicular magnetic anisotropy energy (MAE) of ~ 40 meV. In particular, the MAE arising from Os atom is up to ~ 60 meV. The large MAE is attributed to the high spin-orbit coupling constant and the onefold coordination of Os atom. In addition, the MA of the dimers can be tuned by the polarization reversal of In2Se3. When the polarization is upward, the easy-axis directions of MA in In2Se3-OsCo, In2Se3-CoCo and In2Se3-OsOs are all in-plane, while the directions become perpendicular as the polarization is switched to downward. For the In2Se3-CoOs, switching polarization from upward to downward enhance the perpendicular MA from ~ 20 meV to ~ 40 meV. Based on the second-order perturbation theory, we confirm that the exchange splitting of dxy/dx2-y2 and dxz/dyz orbitals as well as the occupation of dz2 orbital at the vicinity of Fermi level play important roles in the changes of MA with the reversal of FE polarization of In2Se3.


title: Improved Combinatorial Approximation Algorithms for MAX CUT in Sparse Graphs

abstract: The Max-Cut problem is a fundamental NP-hard problem, which is attracting attention in the field of quantum computation these days. Regarding the approximation algorithm of the Max-Cut problem, algorithms based on semidefinite programming have achieved much better approximation ratios than combinatorial algorithms. Therefore, filling the gap is an interesting topic as combinatorial algorithms also have some merits. In sparse graphs, there is a linear-time combinatorial algorithm with the approximation ratio $\frac{1}{2}+\frac{n-1}{4m}$ [Ngoc and Tuza, Comb. Probab. Comput. 1993], which is known as the Edwards-Erd\H{o}s bound. In subcubic graphs, the combinatorial algorithm by Bazgan and Tuza [Discrete Math. 2008] has the best approximation ratio $\frac{5}{6}$ that runs in $O(n^2)$ time. Based on the approach by Bazgan and Tuza, we introduce a new vertex decomposition of graphs, which we call tree-bipartite decomposition. With the decomposition, we present a linear-time $(\frac{1}{2}+\frac{n-1}{2m})$-approximation algorithm for the Max-Cut problem. As a derivative, we also present a linear-time $\frac{5}{6}$-approximation algorithm in subcubic graphs, which solves an open problem in their paper.


title: Error of the Galerkin scheme for a semilinear subdiffusion equation with time-dependent coefficients and nonsmooth data

abstract: We investigate the error of the (semidiscrete) Galerkin method applied to a semilinear subdiffusion equation in the presence of a nonsmooth initial data. The diffusion coefficient is allowed to depend on time. It is well-known that in such parabolic problems the spatial error increases when time decreases. The rate of this time-dependency is a function of the fractional parameter and the regularity of the initial condition. We use the energy method to find optimal bounds on the error under weak and natural assumptions on the diffusivity. First, we prove the result for the linear problem and then use the "frozen nonlinearity" technique coupled with various generalizations of Gronwall inequality to carry the result to the semilinear case. The paper ends with numerical illustrations supporting the theoretical results.


title: Second order conditions to decompose smooth functions as sums of squares

abstract: We consider the problem of decomposing a regular non-negative function as a sum of squares of functions which preserve some form of regularity. In the same way as decomposing non-negative polynomials as sum of squares of polynomials allows to derive methods in order to solve global optimization problems on polynomials, decomposing a regular function as a sum of squares allows to derive methods to solve global optimization problems on more general functions. As the regularity of the functions in the sum of squares decomposition is a key indicator in analyzing the convergence and speed of convergence of optimization methods, it is important to have theoretical results guaranteeing such a regularity. In this work, we show second order sufficient conditions in order for a $p$ times continuously differentiable non-negative function to be a sum of squares of $p-2$ differentiable functions. The main hypothesis is that, locally, the function grows quadratically in directions which are orthogonal to its set of zeros. The novelty of this result, compared to previous works is that it allows sets of zeros which are continuous as opposed to discrete, and also applies to manifolds as opposed to open sets of $\R^d$. This has applications in problems where manifolds of minimizers or zeros typically appear, such as in optimal transport, and for minimizing functions defined on manifolds.


title: Efficient NIZKs and Signatures from Commit-and-Open Protocols in the QROM

abstract: Commit-and-open Sigma-protocols are a popular class of protocols for constructing non-interactive zero-knowledge arguments and digital-signature schemes via the Fiat-Shamir transformation. Instantiated with hash-based commitments, the resulting non-interactive schemes enjoy tight online-extractability in the random oracle model. Online extractability improves the tightness of security proofs for the resulting digital-signature schemes by avoiding lossy rewinding or forking-lemma based extraction. In this work, we prove tight online extractability in the quantum random oracle model (QROM), showing that the construction supports post-quantum security. First, we consider the default case where committing is done by element-wise hashing. In a second part, we extend our result to Merkle-tree based commitments. Our results yield a significant improvement of the provable post-quantum security of the digital-signature scheme Picnic. Our analysis makes use of a recent framework by Chung et al. [arXiv:2010.11658] for analysing quantum algorithms in the QROM using purely classical reasoning. Therefore, our results can to a large extent be understood and verified without prior knowledge of quantum information science.


title: On Inhibition of Rayleigh--Taylor Instability by a Horizontal Magnetic Field in Non-resistive MHD Fluids: the Viscous Case

abstract: It is still open whether the phenomenon of inhibition of Rayleigh--Taylor (RT) instability by a horizontal magnetic field can be mathematically verified for a non-resistive \emph{viscous} magnetohydrodynamic (MHD) fluid in a two-dimensional (2D) horizontal slab domain, since it was roughly proved in the linearized case by Wang in \cite{WYC}. In this paper, we prove such inhibition phenomenon by the (nonlinear) inhomogeneous, incompressible, \emph{viscous case} with \emph{Navier (slip) boundary condition}. More precisely, we show that there is a critical number of field strength $m_{\mm{C}}$, such that if the strength $|m|$ of a horizontal magnetic field is bigger than $m_{\mm{C}}$, then the small perturbation solution around the magnetic RT equilibrium state is {algebraically} stable in time. In addition, we also provide a nonlinear instability result for the case $|m|\in[0, m_{\mm{C}})$. The instability result presents that a horizontal magnetic field can not inhibit the RT instability, if it's strength is too small.


title: Impulse null approximate controllability for heat equation with dynamic boundary conditions

abstract: The main purpose of this article is to prove a logarithmic convexity estimate for the solution of a linear heat equation subject to dynamic boundary conditions in a bounded convex domain. As an application, we prove the impulsive null approximate controllability for an impulsive heat equation with dynamic boundary conditions.


title: On the Benefits of Large Learning Rates for Kernel Methods

abstract: This paper studies an intriguing phenomenon related to the good generalization performance of estimators obtained by using large learning rates within gradient descent algorithms. First observed in the deep learning literature, we show that a phenomenon can be precisely characterized in the context of kernel methods, even though the resulting optimization problem is convex. Specifically, we consider the minimization of a quadratic objective in a separable Hilbert space, and show that with early stopping, the choice of learning rate influences the spectral decomposition of the obtained solution on the Hessian's eigenvectors. This extends an intuition described by Nakkiran (2020) on a two-dimensional toy problem to realistic learning scenarios such as kernel ridge regression. While large learning rates may be proven beneficial as soon as there is a mismatch between the train and test objectives, we further explain why it already occurs in classification tasks without assuming any particular mismatch between train and test data distributions.


title: Missing Value Estimation using Clustering and Deep Learning within Multiple Imputation Framework

abstract: Missing values in tabular data restrict the use and performance of machine learning, requiring the imputation of missing values. The most popular imputation algorithm is arguably multiple imputations using chains of equations (MICE), which estimates missing values from linear conditioning on observed values. This paper proposes methods to improve both the imputation accuracy of MICE and the classification accuracy of imputed data by replacing MICE's linear conditioning with ensemble learning and deep neural networks (DNN). The imputation accuracy is further improved by characterizing individual samples with cluster labels (CISCL) obtained from the training data. Our extensive analyses involving six tabular data sets, up to 80% missingness, and three missingness types (missing completely at random, missing at random, missing not at random) reveal that ensemble or deep learning within MICE is superior to the baseline MICE (b-MICE), both of which are consistently outperformed by CISCL. Results show that CISCL plus b-MICE outperforms b-MICE for all percentages and types of missingness. Our proposed DNN based MICE and gradient boosting MICE plus CISCL (GB-MICE-CISCL) outperform seven other baseline imputation algorithms in most experimental cases. The classification accuracy on the data imputed by GB-MICE is improved by proposed GB-MICE-CISCL imputed data across all missingness percentages. Results also reveal a shortcoming of the MICE framework at high missingness (>50%) and when the missing type is not random. This paper provides a generalized approach to identifying the best imputation model for a data set with a missingness percentage and type.


title: Distributed approach for the indoor deployment of wireless connected objects by the hybridization of the Voronoi diagram and the Genetic Algorithm

abstract: IoT data collection networks have recently become one of the important research areas due to their fundamental role and wide application in many domains. The establishment of networks of objects is based essentially on the deployment of connected objects to process the collected data and transmit them to the various locations. Subsequently, a large number of nodes must be adequately deployed to achieve complete coverage. This manuscript introduces a distributed approach, which combines the Voronoi Diagram and the Genetic algorithm(VD-GA), to maximize the coverage of a region of interest. The Voronoi diagram is used to divide region into cells and generate initial solutions that present the positions of the deployed IoT objects. Then, a genetic algorithm is executed in parallel in several nodes to improve these positions. The developed VD-GA approach was evaluated on an experimental environment by prototyping on a real testbed utilizing M5StickC nodes equipped with ESP32 processor. The experiments show that the distributed approach provided better degree of coverage, RSSI, lifetime and number of neighboring objects than those given by the original algorithms in terms of the suggested distributed Genetic-Voronoi algorithm outperforms the centralized one in terms of speed of computing. .


title: On the Robustness of CountSketch to Adaptive Inputs

abstract: CountSketch is a popular dimensionality reduction technique that maps vectors to a lower dimension using randomized linear measurements. The sketch supports recovering $\ell_2$-heavy hitters of a vector (entries with $v[i]^2 \geq \frac{1}{k}\|\boldsymbol{v}\|^2_2$). We study the robustness of the sketch in adaptive settings where input vectors may depend on the output from prior inputs. Adaptive settings arise in processes with feedback or with adversarial attacks. We show that the classic estimator is not robust, and can be attacked with a number of queries of the order of the sketch size. We propose a robust estimator (for a slightly modified sketch) that allows for quadratic number of queries in the sketch size, which is an improvement factor of $\sqrt{k}$ (for $k$ heavy hitters) over prior work.


title: The Engel graph of a finite group

abstract: For a finite group $G,$ we investigate the direct graph $\Gamma(G),$ whose vertices are the non-hypercentral elements of $G$ and where there is an edge $x\mapsto y$ if and only if $[x,_ny]=1$ for some $n \in \mathbb N.$ We prove that $\Gamma(G)$ is always weakly connected and is strongly connected if $G/Z_{\infty}(G)$ is neither Frobenius nor almost simple.


title: Non-existence of nonnegative separate variable solutions to a porous medium equation with spatially dependent nonlinear source

abstract: The non-existence of nonnegative compactly supported classical solutions to $$- \Delta V(x) - |x|^\sigma V(x) + \frac{V^{1/m}(x)}{m-1} = 0, \qquad x\in\mathbb{R}^N,$$ with $m>1$, $\sigma>0$, and $N\ge 1$, is proven for $\sigma$ sufficiently large. More precisely, in dimension $N\geq4$, the optimal lower bound on $\sigma$ for non-existence is identified, namely $$\sigma\geq\sigma_c := \frac{2(m-1)(N-1)}{3m+1},$$ while, in dimensions $N\in\{1,2,3\}$, the lower bound derived on $\sigma$ improves previous ones already established in the literature. A by-product of this result is the non-existence of nonnegative compactly supported separate variable solutions to a porous equation medium equation with spatially dependent superlinear source.


title: Automated Creation and Human-assisted Curation of Computable Scientific Models from Code and Text

abstract: Scientific models hold the key to better understanding and predicting the behavior of complex systems. The most comprehensive manifestation of a scientific model, including crucial assumptions and parameters that underpin its usability, is usually embedded in associated source code and documentation, which may employ a variety of (potentially outdated) programming practices and languages. Domain experts cannot gain a complete understanding of the implementation of a scientific model if they are not familiar with the code. Furthermore, rapid research and development iterations make it challenging to keep up with constantly evolving scientific model codebases. To address these challenges, we develop a system for the automated creation and human-assisted curation of a knowledge graph of computable scientific models that analyzes a model's code in the context of any associated inline comments and external documentation. Our system uses knowledge-driven as well as data-driven approaches to identify and extract relevant concepts from code and equations from textual documents to semantically annotate models using domain terminology. These models are converted into executable Python functions and then can further be composed into complex workflows to answer different forms of domain-driven questions. We present experimental results obtained using a dataset of code and associated text derived from NASA's Hypersonic Aerodynamics website.


title: Some remarks on sharply 2-transitive groups and near-domains

abstract: A sharply 2-transitive permutation group of characteristic 0 whose point stabiliser has an abelian subgroup of finite index splits. More generally, a near-domain of characteristic 0 with a multiplicative subgroup of finite index avoiding all multipliers $d_{a,b}$ must be a near-field. In particular this answers question 12.48 b) of the Kourovka Notebook in characteristic 0.


title: Bound on Lyapunov exponent in Einstein-Maxwell-Dilaton-Axion black holes

abstract: In this paper, we investigate the influence of the angular momentum of a charged particle around non-extremal and extremal Einstein-Maxwell-Dilaton-Axion black holes on the Lyapunov exponent. The angular momentum's ranges and spatial regions where the bound of the exponent is violated are found for certain values of the rotation parameter and dilatonic constant of the black holes. This violation always exists when the rotation parameter is large enough and the rotation directions of the particle is opposite to those of the black holes. The spatial regions outside the extermal black hole for the violation is relatively large. In the near-horizon regions of the extremal black holes, the violation depends on the rotation directions of the black holes and particle, and does not depend on the value of the angular momentum.


title: Entanglement between a muon spin and $I>\frac{1}{2}$ nuclear spins

abstract: We report on the first example of quantum coherence between the spins of muons and quadrupolar nuclei. We observe this effect in vanadium intermetallic compounds which adopt the A15 crystal structure, and whose members include all technologically dominant superconductors. The entangled states are extremely sensitive to the local structural and electronic environments through the electric field gradient at the quadrupolar nuclei. This case-study demonstrates that positive muons can be used as a quantum sensing tool to probe also structural and charge related phenomena in materials, even in the absence of magnetic order.


title: Periodic geodesics for contact sub-Riemannian 3D manifolds

abstract: The goal of this paper is to study periodic geodesics for sub-Riemannian metrics on a contact 3D-manifold.We develop two rather independent subjects:1) The existence of closed geodesics spiraling around periodic Reeb orbits for a generic metric.2) The precise study of the periodic geodesics for a right invariant metric on a quotient of SL2(R)


title: Subgradient sampling for nonsmooth nonconvex minimization

abstract: Risk minimization for nonsmooth nonconvex problems naturally leads to firstorder sampling or, by an abuse of terminology, to stochastic subgradient descent. We establish the convergence of this method in the path-differentiable case, and describe more precise results under additional geometric assumptions. We recover and improve results from Ermoliev-Norkin by using a different approach: conservative calculus and the ODE method. In the definable case, we show that first-order subgradient sampling avoids artificial critical point with probability one and applies moreover to a large range of risk minimization problems in deep learning, based on the backpropagation oracle. As byproducts of our approach, we obtain several results on integration of independent interest, such as an interchange result for conservative derivatives and integrals, or the definability of set-valued parameterized integrals.


title: Influence of hydrogen vacancy interactions on natural and artificial ageing of an AlMgSi alloy

abstract: The influence of hydrogen on the structural evolutions of an Al-Mg-Si alloy during natural and artificial ageing was investigated experimentally. The aim of the study was a better understanding of interactions between hydrogen and crystalline defects and especially vacancies. Experimental data demonstrate that during natural ageing in hydrogen environment, the hardening response is delayed. This is attributed to a slower recovery of excess vacancies linked to a lower mobility. To confirm and quantify the influence of hydrogen on the vacancy migration energy, artificial ageing was carried out in conditions where the vacancy concentration is constant. Hence, long-time annealing treatments were carried out to investigate the influence of hydrogen on the coarsening of rod-shaped precipitates. Using transmission electron microscopy and atom probe tomography, it was demonstrated that the precipitate volume fraction and composition are unchanged under H2 atmosphere but the coarsening kinetic is significantly reduced. This leads to a delayed softening, in good agreement with theoretical estimates. Thus, even a low concentration of hydrogen in solid solution significantly affects the mobility of alloying elements in the aluminium matrix. This is the result of hydrogen-vacancy interactions that lead to an increase of the vacancy migration energy. Based on classical coarsening theories, it was possible to demonstrate that this increase is of about 5% for a concentration of hydrogen close to the vacancy concentration.


title: Solving The Travelling Salesmen Problem using HNN and HNN-SA algorithms

abstract: In this case study, the renowned Travelling Salesmen problem has been studied. Travelling Salesman problem is a most demanding computational problem in Computer Science. The Travelling Salesmen problem has been solved by two different ways using Hopfield Network. The main theory of the problem is to find distance and connectedness between nodes in a graph having edges between the nodes. The basic algorithm used for this problem is Djikstra's Algorithm. But till now , a number of such algorithms have evolved. Among them(some other algorithms) , are distinct and have been proved to solve the travelling salesmen problem by graph theory.


title: A Blockchain Cloud Computing Middleware for Academic Manuscript Submission

abstract: One of the most important tasks in scientific publishing is the articles' evaluation via the editorial board and the reviewers' community. Additionally, in scientific publishing great concern exists regarding the peer-review process and how it can be further optimised to decrease the time from submission to the first decision, as well as increase the objectivity of the reviewers' remarks ensuring that no bias or human error exists in the reviewing process. In order to address this issue, our article suggests a novice cloud framework for manuscript submission based on blockchain technology that further enhances the anonymity between authors and reviewers alike. Our method covers the whole spectrum of current submission systems capabilities, but it also provides a decentralised solution using open-source tools such as Java Spring that enhance the anonymity of the reviewing process.


title: Reduction and reconstruction of multisymplectic Lie systems

abstract: A Lie system is a non-autonomous system of first-order ordinary differential equations describing the integral curves of a non-autonomous vector field taking values in a finite-dimensional real Lie algebra of vector fields, a so-called Vessiot--Guldberg Lie algebra. In this work, multisymplectic structures are applied to the study of the reduction of Lie systems through their Lie symmetries. By using a momentum map, we perform a reduction and reconstruction procedure of multisymplectic Lie systems, which allows us to solve the original problem by analysing several simpler multisymplectic Lie systems. Conversely, we study how reduced multisymplectic Lie systems allow us to retrieve the form of the multisymplectic Lie system that gave rise to them. Our results are illustrated with examples occurring in physics, mathematics, and control theory.


title: Predictive simulation of single-leg landing scenarios for ACL injury risk factors evaluation

abstract: The Anterior Cruciate Ligament rupture is a very common knee injury during sport activities. Landing after a jump is one of the most prominent human body movement scenarios that can lead to such an injury. The landing - related Anterior Cruciate Ligament (ACL) injury risk factors have been in the spotlight of research interest. Computational modeling and simulation allows for studying musculoskeletal systems. Specifically, predictive simulation approaches offer researchers the opportunity to predict and study new biological motions without the demands of acquiring experimental data. In this thesis, we present a pipeline that aims to predict and identify key parameters of interest that are related to ACL injury during single - leg landings. We examined the following conditions of single - leg landing: a) initial landing height, b) hip internal and external rotation, c) lumbar forward - backward leaning, d) lumbar medial - lateral bending, e) lumbar internal - external rotation, f) muscle forces permutations and g) effort goal weight. Identified on related research studies, we evaluated the following risk factors: vertical Ground Reaction Force, knee joint Anterior force, knee joint Abduction moment, and Quadricep / Hamstring force ratio. Our study clearly demonstrated that ACL injury is a rather complicated mechanism with many associated risk factors which are evidently correlated. Nevertheless, our results were mostly in agreement with other research studies regarding the ACL risk factors. Despite the limitations regarding the adopted modeling assumptions, our pipeline clearly showcased promising potential of predictive simulations to evaluate different aspects of complicated phenomena, such as the ACL injury.


title: A Minimal Deductive System for RDFS with Negative Statements

abstract: The triple language RDFS is designed to represent and reason with \emph{positive} statements only (e.g."antipyretics are drugs"). In this paper we show how to extend RDFS to express and reason with various forms of negative statements under the Open World Assumption (OWA). To do so, we start from $\rho df$, a minimal, but significant RDFS fragment that covers all essential features of RDFS, and then extend it to $\rho df_\bot^\neg$, allowing express also statements such as "radio therapies are non drug treatments", "Ebola has no treatment", or "opioids and antipyretics are disjoint classes". The main and, to the best of our knowledge, unique features of our proposal are: (i) $\rho df_\bot^\neg$ remains syntactically a triple language by extending $\rho df$ with new symbols with specific semantics and there is no need to revert to the reification method to represent negative triples; (ii) the logic is defined in such a way that any RDFS reasoner/store may handle the new predicates as ordinary terms if it does not want to take account of the extra capabilities; (iii) despite negated statements, every $\rho df_\bot^\neg$ knowledge base is satisfiable; (iv) the $\rho df_\bot^\neg$ entailment decision procedure is obtained from $\rho df$ via additional inference rules favouring a potential implementation; and (v) deciding entailment in $\rho df_\bot^\neg$ ranges from P to NP.


title: GENOME: A GENeric methodology for Ontological Modelling of Epics

abstract: Ontological knowledge modelling of epics, though being an established research arena backed by concrete multilingual and multicultural works, still suffer from two key shortcomings. Firstly, all epic ontological models developed till date have been designed following ad-hoc methodologies, most often, combining existing general purpose ontology development methodologies. Secondly, none of the ad-hoc methodologies consider the potential reuse of existing epic ontological models for enrichment, if available. The paper presents, as a unified solution to the above shortcomings, the design and development of GENOME - the first dedicated methodology for iterative ontological modelling of epics, potentially extensible to works in different research arenas of digital humanities in general. GENOME is grounded in transdisciplinary foundations of canonical norms for epics, knowledge modelling best practices, application satisfiability norms and cognitive generative questions. It is also the first methodology (in epic modelling but also in general) to be flexible enough to integrate, in practice, the options of knowledge modelling via reuse or from scratch. The feasibility of GENOME is validated via a first brief implementation of ontological modelling of the Indian epic - Mahabharata by reusing an existing ontology. The preliminary results are promising, with the GENOME-produced model being both ontologically thorough and performance-wise competent


title: Discrete unified gas kinetic scheme for the conservative Allen-Cahn equation

abstract: In this paper, the discrete unified gas kinetic scheme (DUGKS) with an improved microflux across the cell interface for the conservative Allen-Cahn equation (CACE) is proposed. In the context of DUGKS, the recovered kinetic equation from the flux evaluation with linear reconstruction in the previous DUGKS is analyzed. It is found that the calculated microflux across the cell interface is only the solution to the target kinetic equation with first order accuracy, which can result in an inaccurate CACE since the force term is involved or the first moment of the collision model has no conservation property. To correctly recover the kinetic equation up to the second order accuracy, the value of the distribution function that will propagate along the characteristic line with ending point at the cell interface is appropriated by the parabolic reconstruction instead of the linear reconstruction. To validate the accuracy of the present DUGKS for the CACE, several benchmark problems, including the diagonal translation of a circular interface, the rotation of a Zaleska disk and the deformation of a circular interface, have been simulated. Numerical results show that the present DUGKS scheme is able to capture the interface with improved accuracy when compared with the previous DUGKS.


title: Machine learning-enabled high-entropy alloy discovery

abstract: High-entropy alloys are solid solutions of multiple principal elements, capable of reaching composition and feature regimes inaccessible for dilute materials. Discovering those with valuable properties, however, relies on serendipity, as thermodynamic alloy design rules alone often fail in high-dimensional composition spaces. Here, we propose an active-learning strategy to accelerate the design of novel high-entropy Invar alloys in a practically infinite compositional space, based on very sparse data. Our approach works as a closed-loop, integrating machine learning with density-functional theory, thermodynamic calculations, and experiments. After processing and characterizing 17 new alloys (out of millions of possible compositions), we identified 2 high-entropy Invar alloys with extremely low thermal expansion coefficients around 2*10-6 K-1 at 300 K. Our study thus opens a new pathway for the fast and automated discovery of high-entropy alloys with optimal thermal, magnetic and electrical properties.


title: Waste bins location problem: A review of recent advances in the storage stage of the Municipal Solid Waste reverse logistic chain

abstract: Municipal Solid Waste systems have important economic, social, and environmental impacts for society. Within the diverse stages of the Municipal Solid Waste reverse logistic chain, the waste bin location problem consists in properly locating bins in the corresponding urban area to store waste produced by the citizens. This stage has a large impact in the overall efficiency of the whole system. Thus, several researchers have addressed the location problem considering different optimization criteria and approaches. This article presents a comprehensive review of recent advances on the Waste Bins Location Problem, with the main goal of serving as a reference point for decision-makers in this area. The main findings indicate that several optimization criteria and resolution approaches have been applied, but few proposals have simultaneously optimized bins location and waste collection, or considered uncertainty of the model parameters and integrated approaches.


title: Towards Robust Stacked Capsule Autoencoder with Hybrid Adversarial Training

abstract: Capsule networks (CapsNets) are new neural networks that classify images based on the spatial relationships of features. By analyzing the pose of features and their relative positions, it is more capable to recognize images after affine transformation. The stacked capsule autoencoder (SCAE) is a state-of-the-art CapsNet, and achieved unsupervised classification of CapsNets for the first time. However, the security vulnerabilities and the robustness of the SCAE has rarely been explored. In this paper, we propose an evasion attack against SCAE, where the attacker can generate adversarial perturbations based on reducing the contribution of the object capsules in SCAE related to the original category of the image. The adversarial perturbations are then applied to the original images, and the perturbed images will be misclassified. Furthermore, we propose a defense method called Hybrid Adversarial Training (HAT) against such evasion attacks. HAT makes use of adversarial training and adversarial distillation to achieve better robustness and stability. We evaluate the defense method and the experimental results show that the refined SCAE model can achieve 82.14% classification accuracy under evasion attack. The source code is available at https://github.com/FrostbiteXSW/SCAE_Defense.


title: Data-to-text Generation with Variational Sequential Planning

abstract: We consider the task of data-to-text generation, which aims to create textual output from non-linguistic input. We focus on generating long-form text, i.e., documents with multiple paragraphs, and propose a neural model enhanced with a planning component responsible for organizing high-level information in a coherent and meaningful way. We infer latent plans sequentially with a structured variational model, while interleaving the steps of planning and generation. Text is generated by conditioning on previous variational decisions and previously generated text. Experiments on two data-to-text benchmarks (RotoWire and MLB) show that our model outperforms strong baselines and is sample efficient in the face of limited training data (e.g., a few hundred instances).


title: Fast off-the-grid sparse recovery with over-parametrized projected gradient descent

abstract: We consider the problem of recovering off-the-grid spikes from Fourier measurements. Successful methods such as sliding Frank-Wolfe and continuous orthogonal matching pursuit (OMP) iteratively add spikes to the solution then perform a costly (when the number of spikes is large) descent on all parameters at each iteration. In 2D, it was shown that performing a projected gradient descent (PGD) from a gridded over-parametrized initialization was faster than continuous orthogonal matching pursuit. In this paper, we propose an off-the-grid over-parametrized initialization of the PGD based on OMP that permits to fully avoid grids and gives faster results in 3D.


title: Logical Fallacy Detection

abstract: Reasoning is central to human intelligence. However, fallacious arguments are common, and some exacerbate problems such as spreading misinformation about climate change. In this paper, we propose the task of logical fallacy detection, and provide a new dataset (Logic) of logical fallacies generally found in text, together with an additional challenge set for detecting logical fallacies in climate change claims (LogicClimate). Detecting logical fallacies is a hard problem as the model must understand the underlying logical structure of the argument. We find that existing pretrained large language models perform poorly on this task. In contrast, we show that a simple structure-aware classifier outperforms the best language model by 5.46% on Logic and 4.51% on LogicClimate. We encourage future work to explore this task as (a) it can serve as a new reasoning challenge for language models, and (b) it can have potential applications in tackling the spread of misinformation. Our dataset and code are available at https://github.com/causalNLP/logical-fallacy


title: On the complexity of finding well-balanced orientations with upper bounds on the out-degrees

abstract: We show that the problem of deciding whether a given graph $G$ has a well-balanced orientation $\vec{G}$ such that $d_{\vec{G}}^+(v)\leq \ell(v)$ for all $v \in V(G)$ for a given function $\ell:V(G)\rightarrow \mathbb{Z}_{\geq 0}$ is NP-complete. We also prove a similar result for best-balanced orientations. This improves a result of Bern\' ath, Iwata, Kir\' aly, Kir\'aly and Szigeti and answers a question of Frank.