title: Defending Backdoor Attacks on Vision Transformer via Patch Processing

abstract: Vision Transformers (ViTs) have a radically different architecture with significantly less inductive bias than Convolutional Neural Networks. Along with the improvement in performance, security and robustness of ViTs are also of great importance to study. In contrast to many recent works that exploit the robustness of ViTs against adversarial examples, this paper investigates a representative causative attack, i.e., backdoor. We first examine the vulnerability of ViTs against various backdoor attacks and find that ViTs are also quite vulnerable to existing attacks. However, we observe that the clean-data accuracy and backdoor attack success rate of ViTs respond distinctively to patch transformations before the positional encoding. Then, based on this finding, we propose an effective method for ViTs to defend both patch-based and blending-based trigger backdoor attacks via patch processing. The performances are evaluated on several benchmark datasets, including CIFAR10, GTSRB, and TinyImageNet, which show the proposed novel defense is very successful in mitigating backdoor attacks for ViTs. To the best of our knowledge, this paper presents the first defensive strategy that utilizes a unique characteristic of ViTs against backdoor attacks. The paper will appear in the Proceedings of the AAAI'23 Conference. This work was initially submitted in November 2021 to CVPR'22, then it was re-submitted to ECCV'22. The paper was made public in June 2022. The authors sincerely thank all the referees from the Program Committees of CVPR'22, ECCV'22, and AAAI'23.


title: A critical analysis of the assumptions underlying the formulation of maximum potential intensity for tropical cyclones

abstract: Emanuel's concept of maximum potential intensity (E-PI) estimates the maximum velocity of tropical cyclones from environmental parameters assuming thermal wind (gradient-wind and hydrostatic balances) and slantwise neutrality in the free troposphere. E-PI's key equation relates proportionally the radial gradients of saturated moist entropy and angular momentum. Here the E-PI derivation is reconsidered to show that the thermal wind and slantwise neutrality imply zero radial gradients of saturation entropy and angular momentum at an altitude where, for a given radius, the tangential wind has a maximum. It is further shown that, while E-PI's key equation requires that, at the point of maximum tangential wind, the air temperature must increase towards the storm center, the thermal wind equation dictates the opposite. From the analysis of the equations of motion at the altitude of maximum tangential wind in the free troposphere, it is concluded that here the air flow must be supergradient. This implies that the supergradiency factor (a measure of the gradient-wind imbalance) must change in the free troposphere as the air flow tends to restore the balance. It is shown that such a change modifies the derivative of saturation entropy over angular momentum, which cannot therefore remain constant in the free troposphere as E-PI requires. The implications of these findings for the internal coherence of E-PI, including its boundary layer closure, are discussed.


title: Transition from Pauli paramagnetism to Curie-Weiss behaviour in vanadium

abstract: We study electron correlations and their impact on magnetic properties of bcc vanadium by a combination of density functional and dynamical mean-field theory. The calculated uniform magnetic susceptibility {in bcc structure} is of Pauli type at low temperatures, while it obeys the Curie-Weiss law at higher temperatures. Thus, we qualitatively reproduce the experimental temperature dependence of magnetic susceptibility without introducing the martensitic phase transition. Our results for local spin-spin correlation function and local susceptibility reveal that the Curie-Weiss behavior appears due to partial formation of local magnetic moments, which originate from $t_{2g}$ states and occur due to local spin correlations caused by Hund's rule coupling. At the same time, the fermionic quasiparticles remain well-defined, while the formation of local moments is accompanied by a deviation from the Fermi-liquid behavior. In particular, the self-energy of the $t_{2g}$ states shows the non-analytic frequency dependence, which is a characteristic of the spin-freezing behavior, while the quasiparticle damping changes approximately linearly with temperature in the intermediate temperature range $200$--$700$~K. By analyzing the momentum dependence of static magnetic susceptibility, we find incommensurate magnetic correlations, which may provide a mechanism for unconventional superconductivity at low temperatures.


title: Scale free density and correlations fluctuations in the dynamics of large microbial ecosystems

abstract: Microorganisms self-organize in very large communities exhibiting complex fluctuations. Despite recent advances, still the mechanism by which these systems are able to exhibit large variability at the one hand and dynamical robustness on the other, is not fully explained. With that motivation, here we analyze three aspects of the dynamics of the microbiota and plankton: the density fluctuations, the correlation structure and the avalanching dynamics. In all communities under study we find that the results exhibits scale-free density fluctuations, anomalous variance' scaling, scale-free abundance correlations and stationary scale-free avalanching dynamics. These behaviors, typical in systems exhibiting critical dynamics, suggest criticality as a potential mechanism to explain both the robustness and (paradoxical) high irregularity of processes observed in very large microbial communities.


title: Spatially tunable spin interactions in neutral atom arrays

abstract: Analog quantum simulations with Rydberg atoms in optical tweezers routinely address strongly correlated many-body problems due to the hardware-efficient implementation of the Hamiltonian. Yet, their generality is limited, and flexible Hamiltonian-design techniques are needed to widen the scope of these simulators. Here we report on the realization of spatially tunable interactions for XYZ models implemented by two-color near-resonant coupling to Rydberg pair states. Our results demonstrate the unique opportunities of Rydberg dressing for Hamiltonian design in analog quantum simulators.


title: Rigidity theorems for best Sobolev inequalities

abstract: For $n\geq 2$, $p\in(1,n)$, the "best $p$-Sobolev inequality" on an open set $\Omega\subset\mathbb{R}^n$ is identified with a family $\Phi_\Omega$ of variational problems with critical volume and trace constraints. When $\Omega$ is bounded we prove: (i) for every $n$ and $p$, the existence of generalized minimizers that have at most one boundary concentration point, and: (ii) for $n> 2\,p$, the existence of (classical) minimizers. We then establish rigidity results for the comparison theorem "balls have the worst best Sobolev inequalities" by the first named author and Villani, thus giving the first affirmative answers to a question raised in [MV05].


title: Holder estimates for kinetic Fokker-Planck equations up to the boundary

abstract: We obtain local Holder continuity estimates up to the boundary for a kinetic Fokker-Planck equation with rough coefficients, with the prescribed influx boundary condition. Our result extends some recent developments that incorporate De Giorgi methods to kinetic Fokker-Planck equations. We also obtain higher order asymptotic estimates near the incoming part of the boundary. In particular, when the equation has a zero boundary conditions and no source term, we prove that the solution vanishes at infinite order on the incoming part of the boundary.


title: QAGAN: Adversarial Approach To Learning Domain Invariant Language Features

abstract: Training models that are robust to data domain shift has gained an increasing interest both in academia and industry. Question-Answering language models, being one of the typical problem in Natural Language Processing (NLP) research, has received much success with the advent of large transformer models. However, existing approaches mostly work under the assumption that data is drawn from same distribution during training and testing which is unrealistic and non-scalable in the wild. In this paper, we explore adversarial training approach towards learning domain-invariant features so that language models can generalize well to out-of-domain datasets. We also inspect various other ways to boost our model performance including data augmentation by paraphrasing sentences, conditioning end of answer span prediction on the start word, and carefully designed annealing function. Our initial results show that in combination with these methods, we are able to achieve $15.2\%$ improvement in EM score and $5.6\%$ boost in F1 score on out-of-domain validation dataset over the baseline. We also dissect our model outputs and visualize the model hidden-states by projecting them onto a lower-dimensional space, and discover that our specific adversarial training approach indeed encourages the model to learn domain invariant embedding and bring them closer in the multi-dimensional space.


title: Industrial application of numerical models for aluminium extrusion

abstract: This study presents the numerical models used for the simulation of the large viscoplastic deformations that aluminium undergoes during the extrusion process in order to obtain industrial profiles. This study also gives examples of results obtained by the Computational Fluid Dynamics Group of the UNLP Faculty of Engineering, in collaboration with the company Madexa S.A., dedicated to the manufacturing of dies for this type of processes. The equations that model the process, the difficulties associated with its numerical resolution and the advantages that the simulation work represent for the company are also presented in this study.


title: A Test for Evaluating Performance in Human-Computer Systems

abstract: The Turing test for comparing computer performance to that of humans is well known, but, surprisingly, there is no widely used test for comparing how much better human-computer systems perform relative to humans alone, computers alone, or other baselines. Here, we show how to perform such a test using the ratio of means as a measure of effect size. Then we demonstrate the use of this test in three ways. First, in an analysis of 79 recently published experimental results, we find that, surprisingly, over half of the studies find a decrease in performance, the mean and median ratios of performance improvement are both approximately 1 (corresponding to no improvement at all), and the maximum ratio is 1.36 (a 36% improvement). Second, we experimentally investigate whether a higher performance improvement ratio is obtained when 100 human programmers generate software using GPT-3, a massive, state-of-the-art AI system. In this case, we find a speed improvement ratio of 1.27 (a 27% improvement). Finally, we find that 50 human non-programmers using GPT-3 can perform the task about as well as--and less expensively than--the human programmers. In this case, neither the non-programmers nor the computer would have been able to perform the task alone, so this is an example of a very strong form of human-computer synergy.


title: Explicit Exactly Energy-conserving Methods for Hamiltonian Systems

abstract: For Hamiltonian systems, simulation algorithms that exactly conserve numerical energy or pseudo-energy have seen extensive investigation. Most available methods either require the iterative solution of nonlinear algebraic equations at each time step, or are explicit, but where the exact conservation property depends on the exact evaluation of an integral in continuous time. Under further restrictions, namely that the potential energy contribution to the Hamiltonian is non-negative, newer techniques based on invariant energy quadratisation allow for exact numerical energy conservation and yield linearly implicit updates, requiring only the solution of a linear system at each time step. In this article, it is shown that, for a general class of Hamiltonian systems, and under the non-negativity condition on potential energy, it is possible to arrive at a fully explicit method that exactly conserves numerical energy. Furthermore, such methods are unconditionally stable, and are of comparable computational cost to the very simplest integration methods (such as Stormer-Verlet). A variant of this scheme leading to a conditionally-stable method is also presented, and follows from a splitting of the potential energy. Various numerical results are presented, in the case of the classic test problem of Fermi, Pasta and Ulam, as well as for nonlinear systems of partial differential equations, including those describing high amplitude vibration of strings and plates.


title: Controlled-Controlled-Phase Gates for Superconducting Qubits Mediated by a Shared Tunable Coupler

abstract: Applications for noisy intermediate-scale quantum computing devices rely on the efficient entanglement of many qubits to reach a potential quantum advantage. Although entanglement is typically generated using two-qubit gates, direct control of strong multi-qubit interactions can improve the efficiency of the process. Here, we investigate a system of three superconducting transmon-type qubits coupled via a single flux-tunable coupler. Tuning the frequency of the coupler by adiabatic flux pulses enables us to control the conditional energy shifts between the qubits and directly realize multi-qubit interactions. To accurately adjust the resulting controlled relative phases, we describe a gate protocol involving refocusing pulses and adjustable interaction times. This enables the implementation of the full family of pairwise controlled-phase (CPHASE) and controlled-controlled-phase (CCPHASE) gates. Numerical simulations result in fidelities around 99 % and gate times below 300 ns using currently achievable system parameters and decoherence rates.


title: Accounting for Inconsistent Use of Covariate Adjustment in Group Sequential Trials

abstract: Group sequential designs in clinical trials allow for interim efficacy and futility monitoring. Adjustment for baseline covariates can increase power and precision of estimated effects. However, inconsistently applying covariate adjustment throughout the stages of a group sequential trial can result in inflation of type I error, biased point estimates, and anti-conservative confidence intervals. We propose methods for performing correct interim monitoring, estimation, and inference in this setting that avoid these issues. We focus on two-arm trials with simple, balanced randomization and continuous outcomes. We study the performance of our boundary, estimation, and inference adjustments in simulation studies. We end with recommendations about the application of covariate adjustment in group sequential designs.


title: Popular Critical Matchings in the Many-to-Many Setting

abstract: We consider the many-to-many bipartite matching problem in the presence of two-sided preferences and two-sided lower quotas. The input to our problem is a bipartite graph G=(A U B, E), where each vertex in A U B specifies a strict preference ordering over its neighbors. Each vertex has an upper quota and a lower quota denoting the maximum and minimum number of vertices that can be assigned to it from its neighborhood. In the many-to-many setting with two-sided lower quotas, informally, a critical matching is a matching which fulfils vertex lower quotas to the maximum possible extent. This is a natural generalization of the definition of critical matching in the one-to-one setting [Kavitha T., FSTTCS 2021]. Our goal in the given problem is to find a popular matching in the set of critical matchings. A matching is popular in a given set of matchings if it remains undefeated in a head-to-head election with any matching in that set. Here, vertices cast votes between pairs of matchings. We show that there always exists a matching that is popular in the set of critical matchings. We present an efficient algorithm to compute such a matching of the largest size. We prove the popularity of our matching using a dual certificate.


title: Data Leakage in Federated Averaging

abstract: Recent attacks have shown that user data can be recovered from FedSGD updates, thus breaking privacy. However, these attacks are of limited practical relevance as federated learning typically uses the FedAvg algorithm. Compared to FedSGD, recovering data from FedAvg updates is much harder as: (i) the updates are computed at unobserved intermediate network weights, (ii) a large number of batches are used, and (iii) labels and network weights vary simultaneously across client steps. In this work, we propose a new optimization-based attack which successfully attacks FedAvg by addressing the above challenges. First, we solve the optimization problem using automatic differentiation that forces a simulation of the client's update that generates the unobserved parameters for the recovered labels and inputs to match the received client update. Second, we address the large number of batches by relating images from different epochs with a permutation invariant prior. Third, we recover the labels by estimating the parameters of existing FedSGD attacks at every FedAvg step. On the popular FEMNIST dataset, we demonstrate that on average we successfully recover >45% of the client's images from realistic FedAvg updates computed on 10 local epochs of 10 batches each with 5 images, compared to only <10% using the baseline. Our findings show many real-world federated learning implementations based on FedAvg are vulnerable.


title: Text-Driven Stylization of Video Objects

abstract: We tackle the task of stylizing video objects in an intuitive and semantic manner following a user-specified text prompt. This is a challenging task as the resulting video must satisfy multiple properties: (1) it has to be temporally consistent and avoid jittering or similar artifacts, (2) the resulting stylization must preserve both the global semantics of the object and its fine-grained details, and (3) it must adhere to the user-specified text prompt. To this end, our method stylizes an object in a video according to two target texts. The first target text prompt describes the global semantics and the second target text prompt describes the local semantics. To modify the style of an object, we harness the representational power of CLIP to get a similarity score between (1) the local target text and a set of local stylized views, and (2) a global target text and a set of stylized global views. We use a pretrained atlas decomposition network to propagate the edits in a temporally consistent manner. We demonstrate that our method can generate consistent style changes over time for a variety of objects and videos, that adhere to the specification of the target texts. We also show how varying the specificity of the target texts and augmenting the texts with a set of prefixes results in stylizations with different levels of detail. Full results are given on our project webpage: https://sloeschcke.github.io/Text-Driven-Stylization-of-Video-Objects/


title: Dragging of inertial frames by matter and waves

abstract: In this paper, we review and analyze four specific general-relativistic problems in which gravitomagnetism plays an important role: the dragging of magnetic fields around rotating black holes, dragging inside a collapsing slowly rotating spherical shell of dust, compared with the dragging by rotating gravitational waves. We demonstrate how the quantum detection of inertial frame dragging can be accomplished by using the Unruh-DeWitt detectors. Finally, we shall briefly show how ``instantaneous Machian gauges'' can be useful in the cosmological perturbation theory.


title: Dynamical Stability in presence of non-minimal derivative dependent coupling of $k$-essence field with a relativistic fluid

abstract: In this paper we investigate a non-minimal, space-time derivative dependent, coupling between the $k$-essence field and a relativistic fluid using a variational approach. The derivative coupling term couples the space-time derivative of the $k$-essence field with the fluid 4-velocity via an inner product. The inner product has a coefficient whose form specifies the various models of interaction. By introducing a coupling term at the Lagrangian level and using the variational technique we obtain the $k$-essence field equation and the Friedmann equations in the background of a spatially flat Friedmann-Lemaitre-Robertson-Walker (FLRW) metric. Explicitly using the dynamical analysis approach we analyze the dynamics of this coupled scenario in the context of two kinds of interaction models. The models are distinguished by the form of the coefficient multiplying the derivative coupling term. In the simplest approach we work with an inverse square law potential of the $k$-essence field. Both of the models are not only capable of producing a stable accelerating solution, they can also explain different phases of the evolutionary universe.


title: Existence of an equilibrium with limited participation

abstract: A limited participation economy models the real-world phenomenon that some economic agents have access to more of the financial market than others. We prove the global existence of a Radner equilibrium with limited participation, where the agents have exponential preferences and derive utility from both running consumption and terminal wealth. Our analysis centers around the existence and uniqueness of a solution to a coupled system of quadratic backward stochastic differential equations (BSDEs). We prove that the BSDE system has a unique $\mathcal{S}^\infty\times\text{bmo}$ solution. We define a candidate equilibrium in terms of the BSDE solution and prove through a verification argument that the candidate is a Radner equilibrium with limited participation. This work generalizes the model of Basak and Cuoco (1998) to allow for a stock with a general dividend stream and agents with exponential preferences. We also provide an explicit example.


title: The projective Fra\"{\i}ss\'{e} limit of the class of all connected finite graphs with confluent epimorphisms

abstract: We show that the class of finite connected graphs with confluent epimorphism is a projective Fra\"{\i}ss\'e class and we investigate the continuum obtained as the topological realization of the projective Fra\"{\i}ss\'e limit. This continuum was unknown before. We show that it is indecomposable, but not hereditarily indecomposable, one-dimensional, Kelley, pointwise self-homeomorphic, but not homogeneous. It is hereditarily unicoherent and each point is the top of the Cantor fan. Moreover, the universal solenoid, the universal pseudo-solenoid, and the pseudo-arc may be embedded in it.


title: Debiasing Learning for Membership Inference Attacks Against Recommender Systems

abstract: Learned recommender systems may inadvertently leak information about their training data, leading to privacy violations. We investigate privacy threats faced by recommender systems through the lens of membership inference. In such attacks, an adversary aims to infer whether a user's data is used to train the target recommender. To achieve this, previous work has used a shadow recommender to derive training data for the attack model, and then predicts the membership by calculating difference vectors between users' historical interactions and recommended items. State-of-the-art methods face two challenging problems: (1) training data for the attack model is biased due to the gap between shadow and target recommenders, and (2) hidden states in recommenders are not observational, resulting in inaccurate estimations of difference vectors. To address the above limitations, we propose a Debiasing Learning for Membership Inference Attacks against recommender systems (DL-MIA) framework that has four main components: (1) a difference vector generator, (2) a disentangled encoder, (3) a weight estimator, and (4) an attack model. To mitigate the gap between recommenders, a variational auto-encoder (VAE) based disentangled encoder is devised to identify recommender invariant and specific features. To reduce the estimation bias, we design a weight estimator, assigning a truth-level score for each difference vector to indicate estimation accuracy. We evaluate DL-MIA against both general recommenders and sequential recommenders on three real-world datasets. Experimental results show that DL-MIA effectively alleviates training and estimation biases simultaneously, and achieves state-of-the-art attack performance.


title: Predicting the Stability of Hierarchical Triple Systems with Convolutional Neural Networks

abstract: Understanding the long-term evolution of hierarchical triple systems is challenging due to its inherent chaotic nature, and it requires computationally expensive simulations. Here we propose a convolutional neural network model to predict the stability of hierarchical triples by looking at their evolution during the first $5 \times 10^5$ inner binary orbits. We employ the regularized few-body code TSUNAMI to simulate $5\times 10^6$ hierarchical triples, from which we generate a large training and test dataset. We develop twelve different network configurations that use different combinations of the triples' orbital elements and compare their performances. Our best model uses 6 time-series, namely, the semimajor axes ratio, the inner and outer eccentricities, the mutual inclination and the arguments of pericenter. This model achieves an area under the curve of over $95\%$ and informs of the relevant parameters to study triple systems stability. All trained models are made publicly available, allowing to predict the stability of hierarchical triple systems $200$ times faster than pure $N$-body methods.


title: ZSON: Zero-Shot Object-Goal Navigation using Multimodal Goal Embeddings

abstract: We present a scalable approach for learning open-world object-goal navigation (ObjectNav) -- the task of asking a virtual robot (agent) to find any instance of an object in an unexplored environment (e.g., "find a sink"). Our approach is entirely zero-shot -- i.e., it does not require ObjectNav rewards or demonstrations of any kind. Instead, we train on the image-goal navigation (ImageNav) task, in which agents find the location where a picture (i.e., goal image) was captured. Specifically, we encode goal images into a multimodal, semantic embedding space to enable training semantic-goal navigation (SemanticNav) agents at scale in unannotated 3D environments (e.g., HM3D). After training, SemanticNav agents can be instructed to find objects described in free-form natural language (e.g., "sink", "bathroom sink", etc.) by projecting language goals into the same multimodal, semantic embedding space. As a result, our approach enables open-world ObjectNav. We extensively evaluate our agents on three ObjectNav datasets (Gibson, HM3D, and MP3D) and observe absolute improvements in success of 4.2% - 20.0% over existing zero-shot methods. For reference, these gains are similar or better than the 5% improvement in success between the Habitat 2020 and 2021 ObjectNav challenge winners. In an open-world setting, we discover that our agents can generalize to compound instructions with a room explicitly mentioned (e.g., "Find a kitchen sink") and when the target room can be inferred (e.g., "Find a sink and a stove").


title: Efficient Numerical Schemes for Multidimensional Population Balance Models

abstract: Multidimensional population balance models (PBMs) describe chemical and biological processes having a distribution over two or more intrinsic properties (such as size and age, or two independent spatial variables). The incorporation of additional intrinsic variables into a PBM improves its descriptive capability and can be necessary to capture specific features of interest. As most PBMs of interest cannot be solved analytically, computationally expensive high-order finite difference or finite volume methods are frequently used to obtain an accurate numerical solution. We propose a finite difference scheme based on operator splitting and solving each sub-problem at the limit of numerical stability that achieves a discretization error that is zero for certain classes of PBMs and low enough to be acceptable for other classes. In conjunction to employing specially constructed meshes and variable transformations, the scheme exploits the commutative property of the differential operators present in many classes of PBMs. The scheme has very low computational cost -- potentially as low as just memory reallocation. Multiple case studies demonstrate the performance of the proposed scheme.


title: Quantum network medicine: rethinking medicine with network science and quantum algorithms

abstract: Scientific and technological advances in medicine and systems biology have unequivocally shown that health and disease must be viewed in the context of the interplay among multiple molecular and environmental factors. Understanding the effects of cellular interconnection on disease progression may lead to the identification of novel disease genes and pathways, and hence influence precision diagnostics and therapeutics. To accomplish this goal, the emerging field of network medicine applies network science approaches to investigate disease pathogenesis, integrating information from relevant Omics databases, including protein-protein interaction, correlation-based, gene regulatory, and Bayesian networks. However, this requires analysing and computing large amounts of data. Moreover, if we are to efficiently search for new drugs and new drug combinations, there is a pressing need for computational methods that could allow us to access the immense chemical compound space until now largely unexplored. Finally, at the microscopic level, drug-target chemistry simulation is ultimately a quantum problem, and hence it requires a quantum solution. As we will discuss, quantum computing may be a key ingredient in enabling the full potential of network medicine. We propose to combine network medicine and quantum algorithms in a novel research field, quantum network medicine, to lay the foundations of a new era of disease prevention and drug design.


title: Wigner rotation and Euler angle parametrization

abstract: Analogous to the famous Euler angle parametrization in three-dimensional Euclidean space, a reflection-free Lorentz transformation in (2+1)-dimensional Minkowski space can be decomposed into three simple parts. Applying this decomposition to the Wigner rotation problem, we are able to show the related mathematics becomes much simpler and the physical meanings more comprehensible and enlightening.


title: Independent evaluation of state-of-the-art deep networks for mammography

abstract: Deep neural models have shown remarkable performance in image recognition tasks, whenever large datasets of labeled images are available. The largest datasets in radiology are available for screening mammography. Recent reports, including in high impact journals, document performance of deep models at or above that of trained radiologists. What is not yet known is whether performance of these trained models is robust and replicates across datasets. Here we evaluate performance of five published state-of-the-art models on four publicly available mammography datasets. The limited size of public datasets precludes retraining the model and so we are limited to evaluate those models that have been made available with pre-trained parameters. Where test data was available, we replicated published results. However, the trained models performed poorly on out-of-sample data, except when based on all four standard views of a mammographic exam. We conclude that future progress will depend on a concerted effort to make more diverse and larger mammography datasets publicly available. Meanwhile, results that are not accompanied by a release of trained models for independent validation should be judged cautiously.


title: Convexity and Duality in Optimum Real-time Bidding and Related Problems

abstract: We study problems arising in real-time auction markets, common in e-commerce and computational advertising, where bidders face the problem of calculating optimal bids. We focus upon a contract management problem where a demand aggregator is subject to multiple contractual obligations requiring them to acquire items of heterogeneous types at a specified rate, which they will seek to fulfill at minimum cost. Our main results show that, through a transformation of variables, this problem can be formulated as a convex optimization problem, for both first and second price auctions. Convexity results in efficient algorithms for solving instances of this problem, and the resulting duality theory admits rich structure and interpretations. Additionally, we show that the transformation of variables used to formulate this problem as a convex program can also be used to guarantee the convexity of optimal bidding problems studied by other authors (who did not leverage convexity). Finally, we show how the expected cost of bidding in second price auctions is formally identical to certain transaction costs when submitting market orders in limit order book markets. This fact is used to analyze a Markowitz portfolio problem which accounts for these transaction costs, establishing an interesting connection between finance and optimal bidding.


title: A hybrid volume-surface integral equation method for rapid electromagnetic simulations in MRI

abstract: Objective: We developed a hybrid volume surface integral equation (VSIE) method based on domain decomposition to perform fast and accurate magnetic resonance imaging (MRI) simulations that include both remote and local conductive elements. Methods: We separated the conductive surfaces present in MRI setups into two domains and optimized electromagnetic (EM) modeling for each case. Specifically, interactions between the body and EM waves originating from local radiofrequency (RF) coils were modeled with the precorrected fast Fourier transform, whereas the interactions with remote conductive surfaces (RF shield, scanner bore) were modeled with a novel cross tensor train-based algorithm. We compared the hybrid- VSIE with other VSIE methods for realistic MRI simulation setups. Results: The hybrid-VSIE was the only practical method for simulation using 1 mm voxel isotropic resolution (VIR). For 2 mm VIR, our method could be solved at least 23 times faster and required 760 times lower memory than traditional VSIE methods. Conclusion: The hybrid-VSIE demonstrated a marked improvement in terms of convergence times of the numerical EM simulation compared to traditional approaches in multiple realistic MRI scenarios. Significance: The efficiency of the novel hybrid-VSIE method could enable rapid simulations of complex and comprehensive MRI setups.


title: A monolithic Finite Element formulation for the hydroelastic analysis of Very Large Floating Structures

abstract: In this work we present a novel monolithic Finite Element Method (FEM) for the hydroelastic analysis of Very Large Floating Structures (VLFS) with arbitrary shapes that is stable, energy conserving and overcomes the need of an iterative algorithm. The new formulation enables a fully monolithic solution of the linear free-surface flow, described by linear potential flow, coupled with floating thin structures, described by the Euler-Bernoulli beam or Poisson-Kirchhoff plate equations. The formulation presented in this work is general in the sense that solutions can be found in the frequency and time domains, it overcomes the need of using elements with C1 continuity by employing a continuous/discontinuous Galerkin (C/DG) approach, and it is suitable for Finite Elements of arbitrary order. We show that the proposed approach can accurately describe the hydroelastic phenomena of VLFS with a variety of tests, including structures with elastic joints, variable bathymetry and arbitrary structural shapes.


title: Sample Efficiency Matters: A Benchmark for Practical Molecular Optimization

abstract: Molecular optimization is a fundamental goal in the chemical sciences and is of central interest to drug and material design. In recent years, significant progress has been made in solving challenging problems across various aspects of computational molecular optimizations, emphasizing high validity, diversity, and, most recently, synthesizability. Despite this progress, many papers report results on trivial or self-designed tasks, bringing additional challenges to directly assessing the performance of new methods. Moreover, the sample efficiency of the optimization--the number of molecules evaluated by the oracle--is rarely discussed, despite being an essential consideration for realistic discovery applications. To fill this gap, we have created an open-source benchmark for practical molecular optimization, PMO, to facilitate the transparent and reproducible evaluation of algorithmic advances in molecular optimization. This paper thoroughly investigates the performance of 25 molecular design algorithms on 23 tasks with a particular focus on sample efficiency. Our results show that most "state-of-the-art" methods fail to outperform their predecessors under a limited oracle budget allowing 10K queries and that no existing algorithm can efficiently solve certain molecular optimization problems in this setting. We analyze the influence of the optimization algorithm choices, molecular assembly strategies, and oracle landscapes on the optimization performance to inform future algorithm development and benchmarking. PMO provides a standardized experimental setup to comprehensively evaluate and compare new molecule optimization methods with existing ones. All code can be found at https://github.com/wenhao-gao/mol_opt.


title: Dynamic Propagation of Mode III Cracks in a Lattice Boltzmann Method for Solids

abstract: This work presents concepts and algorithms for the simulation of dynamic fractures with a Lattice Boltzmann method (LBM) for linear elastic solids. This LBM has been presented previously and solves the wave equation, which is interpreted as the governing equation for antiplane shear deformation. Besides the steady growth of a crack at a prescribed crack velocity, a fracture criterion based on stress intensity factors (SIF) has been implemented. This is the first time, that crack propagation with a mechanically relevant criterion is regarded in the context of LBMs. Numerical results are examined to validate the proposed method. The concepts of crack propagation introduced here are not limited to mode III cracks or the simplified deformation assumption of antiplane shear. By introducing a rather simple processing step into the existing LBM at the level of individual lattice sites, the overall performance of the LBM is maintained. Our findings underline the validity of the LBM as a numerical tool to simulate solids in general as well as dynamic fractures in particular.


title: A Novel Multi-Agent Scheduling Mechanism for Adaptation of Production Plans in Case of Supply Chain Disruptions

abstract: Manufacturing companies typically use sophisticated production planning systems optimizing production steps, often delivering near-optimal solutions. As a downside for delivering a near-optimal schedule, planning systems have high computational demands resulting in hours of computation. Under normal circumstances this is not issue if there is enough buffer time before implementation of the schedule (e.g. at night for the next day). However, in case of unexpected disruptions such as delayed part deliveries or defectively manufactured goods, the planned schedule may become invalid and swift replanning becomes necessary. Such immediate replanning is unsuited for existing optimal planners due to the computational requirements. This paper proposes a novel solution that can effectively and efficiently perform replanning in case of different types of disruptions using an existing plan. The approach is based on the idea to adhere to the existing schedule as much as possible, adapting it based on limited local changes. For that purpose an agent-based scheduling mechanism has been devised, in which agents represent materials and production sites and use local optimization techniques and negotiations to generate an adapted (sufficient, but non-optimal) schedule. The approach has been evaluated using real production data from Huawei, showing that efficient schedules are produced in short time. The system has been implemented as proof of concept and is currently reimplemented and transferred to a production system based on the Jadex agent platform.


title: Modeling Continuous Time Sequences with Intermittent Observations using Marked Temporal Point Processes

abstract: A large fraction of data generated via human activities such as online purchases, health records, spatial mobility etc. can be represented as a sequence of events over a continuous-time. Learning deep learning models over these continuous-time event sequences is a non-trivial task as it involves modeling the ever-increasing event timestamps, inter-event time gaps, event types, and the influences between different events within and across different sequences. In recent years neural enhancements to marked temporal point processes (MTPP) have emerged as a powerful framework to model the underlying generative mechanism of asynchronous events localized in continuous time. However, most existing models and inference methods in the MTPP framework consider only the complete observation scenario i.e. the event sequence being modeled is completely observed with no missing events -- an ideal setting that is rarely applicable in real-world applications. A recent line of work which considers missing events while training MTPP utilizes supervised learning techniques that require additional knowledge of missing or observed label for each event in a sequence, which further restricts its practicability as in several scenarios the details of missing events is not known apriori. In this work, we provide a novel unsupervised model and inference method for learning MTPP in presence of event sequences with missing events. Specifically, we first model the generative processes of observed events and missing events using two MTPP, where the missing events are represented as latent random variables. Then, we devise an unsupervised training method that jointly learns both the MTPP by means of variational inference. Such a formulation can effectively impute the missing data among the observed events and can identify the optimal position of missing events in a sequence.


title: A novel approach to increase scalability while training machine learning algorithms using Bfloat 16 in credit card fraud detection

abstract: The use of credit cards has become quite common these days as digital banking has become the norm. With this increase, fraud in credit cards also has a huge problem and loss to the banks and customers alike. Normal fraud detection systems, are not able to detect the fraud since fraudsters emerge with new techniques to commit fraud. This creates the need to use machine learning-based software to detect frauds. Currently, the machine learning softwares that are available focuses only on the accuracy of detecting frauds but does not focus on the cost or time factors to detect. This research focuses on machine learning scalability for banks' credit card fraud detection systems. We have compared the existing machine learning algorithms and methods that are available with the newly proposed technique. The goal is to prove that using fewer bits for training a machine learning algorithm will result in a more scalable system, that will reduce the time and will also be less costly to implement.


title: A Grey-box Launch-profile Aware Model for C+L Band Raman Amplification

abstract: Based on the physical features of Raman amplification, we propose a three-step modelling scheme based on neural networks (NN) and linear regression. Higher accuracy, less data requirements and lower computational complexity are demonstrated through simulations compared with the pure NN-based method.


title: Deep embedded clustering algorithm for clustering PACS repositories

abstract: Creating large datasets of medical radiology images from several sources can be challenging because of the differences in the acquisition and storage standards. One possible way of controlling and/or assessing the image selection process is through medical image clustering. This, however, requires an efficient method for learning latent image representations. In this paper, we tackle the problem of fully-unsupervised clustering of medical images using pixel data only. We test the performance of several contemporary approaches, built on top of a convolutional autoencoder (CAE) - convolutional deep embedded clustering (CDEC) and convolutional improved deep embedded clustering (CIDEC) - and three approaches based on preset feature extraction - histogram of oriented gradients (HOG), local binary pattern (LBP) and principal component analysis (PCA). CDEC and CIDEC are end-to-end clustering solutions, involving simultaneous learning of latent representations and clustering assignments, whereas the remaining approaches rely on k-means clustering from fixed embeddings. We train the models on 30,000 images, and test them using a separate test set consisting of 8,000 images. We sampled the data from the PACS repository archive of the Clinical Hospital Centre Rijeka. For evaluation, we use silhouette score, homogeneity score and normalised mutual information (NMI) on two target parameters, closely associated with commonly occurring DICOM tags - Modality and anatomical region (adjusted BodyPartExamined tag). CIDEC attains an NMI score of 0.473 with respect to anatomical region, and CDEC attains an NMI score of 0.645 with respect to the tag Modality - both outperforming other commonly used feature descriptors.


title: Geometry Interaction Knowledge Graph Embeddings

abstract: Knowledge graph (KG) embeddings have shown great power in learning representations of entities and relations for link prediction tasks. Previous work usually embeds KGs into a single geometric space such as Euclidean space (zero curved), hyperbolic space (negatively curved) or hyperspherical space (positively curved) to maintain their specific geometric structures (e.g., chain, hierarchy and ring structures). However, the topological structure of KGs appears to be complicated, since it may contain multiple types of geometric structures simultaneously. Therefore, embedding KGs in a single space, no matter the Euclidean space, hyperbolic space or hyperspheric space, cannot capture the complex structures of KGs accurately. To overcome this challenge, we propose Geometry Interaction knowledge graph Embeddings (GIE), which learns spatial structures interactively between the Euclidean, hyperbolic and hyperspherical spaces. Theoretically, our proposed GIE can capture a richer set of relational information, model key inference patterns, and enable expressive semantic matching across entities. Experimental results on three well-established knowledge graph completion benchmarks show that our GIE achieves the state-of-the-art performance with fewer parameters.


title: Modeling Adaptive Platoon and Reservation Based Autonomous Intersection Control: A Deep Reinforcement Learning Approach

abstract: As a strategy to reduce travel delay and enhance energy efficiency, platooning of connected and autonomous vehicles (CAVs) at non-signalized intersections has become increasingly popular in academia. However, few studies have attempted to model the relation between the optimal platoon size and the traffic conditions around the intersection. To this end, this study proposes an adaptive platoon based autonomous intersection control model powered by deep reinforcement learning (DRL) technique. The model framework has following two levels: the first level adopts a First Come First Serve (FCFS) reservation based policy integrated with a nonconflicting lane selection mechanism to determine vehicles' passing priority; and the second level applies a deep Q-network algorithm to identify the optimal platoon size based on the real-time traffic condition of an intersection. When being tested on a traffic micro-simulator, our proposed model exhibits superior performances on travel efficiency and fuel conservation as compared to the state-of-the-art methods.


title: SCAI: A Spectral data Classification framework with Adaptive Inference for the IoT platform

abstract: Currently, it is a hot research topic to realize accurate, efficient, and real-time identification of massive spectral data with the help of deep learning and IoT technology. Deep neural networks played a key role in spectral analysis. However, the inference of deeper models is performed in a static manner, and cannot be adjusted according to the device. Not all samples need to allocate all computation to reach confident prediction, which hinders maximizing the overall performance. To address the above issues, we propose a Spectral data Classification framework with Adaptive Inference. Specifically, to allocate different computations for different samples while better exploiting the collaboration among different devices, we leverage Early-exit architecture, place intermediate classifiers at different depths of the architecture, and the model outputs the results when the prediction confidence reaches a preset threshold. We propose a training paradigm of self-distillation learning, the deepest classifier performs soft supervision on the shallow ones to maximize their performance and training speed. At the same time, to mitigate the vulnerability of performance to the location and number settings of intermediate classifiers in the Early-exit paradigm, we propose a Position-Adaptive residual network. It can adjust the number of layers in each block at different curve positions, so it can focus on important positions of the curve (e.g.: Raman peak), and accurately allocate the appropriate computational budget based on task performance and computing resources. To the best of our knowledge, this paper is the first attempt to conduct optimization by adaptive inference for spectral detection under the IoT platform. We conducted many experiments, the experimental results show that our proposed method can achieve higher performance with less computational budget than existing methods.


title: On The Euclidean Algorithm: Rhythm Without Recursion

abstract: A modified form of Euclid's algorithm has gained popularity among musical composers following Toussaint's 2005 survey of so-called Euclidean rhythms in world music. We offer a method to easily calculate Euclid's algorithm by hand as a modification of Bresenham's line-drawing algorithm. Notably, this modified algorithm is a non-recursive matrix construction, using only modular arithmetic and combinatorics. This construction does not outperform the traditional divide-with-remainder method; it is presented for combinatorial interest and ease of hand computation.


title: On Difference of Enhanced Power Graph and Power Graph of a Finite Group

abstract: The difference graph $D(G)$ of a finite group $G$ is the difference of enhanced power graph of $G$ and power graph of $G$, with all isolated vertices are removed. In this paper we study the connectedness and perfectness of $D(G)$ with respect to various properties of the underlying group $G$. We also find several connection between the difference graph of $G$ and the Gruenberg-Kegel graph of $G$.


title: Bouncing cosmology in modified gravity with higher-order curvature terms

abstract: A bouncing scenario of a flat homogeneous and isotropic universe is explored by using the reconstruction technique for the power-law parametrization of the Hubble parameter in a modified gravity theory with higher-order curvature and trace of the energy-momentum tensor terms. It is demonstrated that bouncing criteria are satisfied so that the cosmological initial singularity can be avoided. In addition, it is shown that the equation of state parameter crosses the line of the phantom divide. In the present scenario, the universe is filled with perfect fluid around the bouncing point, in which the universe becomes highly unstable and a big bounce can be realized. Furthermore, it is found that extremal acceleration occurs at the bouncing point.


title: Tangelo: An Open-source Python Package for End-to-end Chemistry Workflows on Quantum Computers

abstract: Tangelo [link: https://github.com/goodchemistryco/Tangelo] is an open-source Python software package for the development of end-to-end chemistry workflows on quantum computers, released under Apache 2.0 license. It aims to support the design of successful experiments on quantum hardware, and to facilitate advances in quantum algorithm development. The software enables quick exploration of different approaches by assembling reusable building blocks and algorithms, with the flexibility to let users introduce their own. Tangelo is backend-agnostic and enables switching between various backends (Braket, Qiskit, Qulacs, Azure Quantum, QDK, Cirq...) with minimal changes in the code. The package can be used to explore quantum computing applications such as open-shell systems, excited states, or more industrially-relevant systems by leveraging problem decomposition at scale. This paper outlines the design choices, philosophy, and main features of Tangelo.


title: A semi-analytic study of self-interacting dark-matter haloes with baryons

abstract: We combine the isothermal Jeans model and the model of adiabatic halo contraction into a simple semi-analytic procedure for computing the density profile of self-interacting dark-matter (SIDM) haloes with the gravitational influence from the inhabitant galaxies. We show that the model agrees well with cosmological SIDM simulations over the entire core-forming stage and up to the onset of gravothermal core-collapse. Using this model, we show that the halo response to baryons is more diverse in SIDM than in CDM and depends sensitively on galaxy size, a desirable link in the context of the structural diversity of bright dwarf galaxies. The fast speed of the method facilitates analyses that would be challenging for numerical simulations -- notably, 1) we quantify the SIDM halo response as functions of the baryonic properties, on a fine mesh grid spanned by the baryon-to-total-mass ratio, $M_{\rm b}/M_{\rm vir}$, and galaxy compactness, $r_{1/2}/R_{\rm vir}$; 2) we show with high statistical precision that for typical Milky-Way-like systems, the SIDM profiles are similar to their CDM counterparts; and 3) we delineate the regime of gravothermal core-collapse in the $M_{\rm b}/M_{\rm vir}$-$r_{1/2}/R_{\rm vir}$ space, for a given cross section and a given halo concentration. Finally, we compare the isothermal Jeans model with the more sophisticated gravothermal fluid model, and show that the former yields faster core formation and agrees better with cosmological simulations. We attribute the difference to whether the target CDM halo is used as a boundary condition or as the initial condition for the gravothermal evolution, and thus comment on possible future improvements of the fluid model. We have made our programs for the model publicly available at https://github.com/JiangFangzhou/SIDM.


title: Towards Powerful Probes of Neutrino Self-Interactions in Supernovae

abstract: Neutrinos remain mysterious. As an example, enhanced self-interactions ($\nu$SI), which would have broad implications, are allowed. At the high neutrino densities within core-collapse supernovae, $\nu$SI should be important, but robust observables have been lacking. We show that $\nu$SI make neutrinos form a tightly coupled fluid that expands under relativistic hydrodynamics. The outflow becomes either a burst or a steady-state wind; which occurs here is uncertain. Though the diffusive environment where neutrinos are produced may make a wind more likely, further work is needed to determine when each case is realized. In the burst-outflow case, $\nu$SI increase the duration of the neutrino signal, and even a simple analysis of SN 1987A data has powerful sensitivity. For the wind-outflow case, we outline several promising ideas that may lead to new observables. Combined, these results are important steps towards solving the 35-year-old puzzle of how $\nu$SI affect supernovae.

categories: hep-ph astro-ph.CO astro-ph.HE hep-ex nucl-th


title: Nematic excitonic insulator in transition metal dichalcogenide moir\'e heterobilayers

abstract: We study the effect of inter-electron Coulomb interactions on the displacement field induced topological phase transition in transition metal dichalcogenide (TMD) moir\'e heterobilayers. We find a nematic excitonic insulator (NEI) phase that breaks the moir\'e superlattice's three-fold rotational symmetry and preempts the topological phase transition in both AA and AB stacked heterobilayers when the interlayer tunneling is weak, or when the Coulomb interaction is not strongly screened. The nematicity originates from the frustration between the nontrivial spatial structure of the interlayer tunneling, which is crucial to the existence of the topological Chern band, and the interlayer coherence induced by the Coulomb interaction that favors uniformity in layer pseudo-spin orientations. We construct a unified effective two-band model that captures the physics near the band inversion and applies to both AA and AB stacked heterobilayers. Within the two-band model, the competition between the NEI phase and the Chern insulator phase can be understood as the switching of the energetic order between the $s$-wave and the $p$-wave excitons upon increasing the interlayer tunneling.


title: Algebraic area enumeration for open lattice walks

abstract: We calculate the number of open walks of fixed length and algebraic area on a square planar lattice by an extension of the operator method used for the enumeration of closed walks. The open walk area is defined by closing the walks with a straight line across their endpoints and can assume half-integer values in lattice cell units. We also derive the length and area counting of walks with endpoints on specific straight lines and outline an approach for dealing with walks with fully fixed endpoints.

categories: math-ph cond-mat.stat-mech hep-th math.CO math.MP


title: Transitions in the learnability of global charges from local measurements

abstract: We consider monitored quantum systems with a global conserved charge, and ask how efficiently an observer ("eavesdropper") can learn the global charge of such systems from local projective measurements. We find phase transitions as a function of the measurement rate, depending on how much information about the quantum dynamics the eavesdropper has access to. For random unitary circuits with U(1) symmetry, we present an optimal classical classifier to reconstruct the global charge from local measurement outcomes only. We demonstrate the existence of phase transitions in the performance of this classifier in the thermodynamic limit. We also study numerically improved classifiers by including some knowledge about the unitary gates pattern.

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


title: Measurement noise susceptibility in quantum estimation

abstract: Fisher Information is a key notion in the whole field of quantum metrology. It allows for a direct quantification of maximal achievable precision of estimation of parameters encoded in quantum states using the most general quantum measurement. It fails, however, to quantify the robustness of quantum estimation schemes against measurement imperfections, which are always present in any practical implementations. Here, we introduce a new concept of Fisher Information Measurement Noise Susceptibility that quantifies the potential loss of Fisher Information due to small measurement disturbance. We derive an explicit formula for the quantity, and demonstrate its usefulness in analysis of paradigmatic quantum estimation schemes, including interferometry and super-resolution optical imaging.


title: The Spectroscopy and H-band Imaging of Virgo cluster galaxies (SHIVir) Survey: Data Catalogue and Kinematic Profiles

abstract: The ``Spectroscopy and H-band Imaging of Virgo cluster galaxies'' (SHIVir) survey is an optical and near-infrared survey which combines SDSS photometry, deep H-band photometry, and long-slit optical spectroscopy for 190 Virgo cluster galaxies (VCGs) covering all morphological types over the stellar mass range log (M_*/M_Sun) = 7.8-11.5$. We present the spectroscopic sample selection, data reduction, and analysis for this SHIVir sample. We have used and optimised the \texttt{pPXF} routine to extract stellar kinematics from our data. Ultimately, resolved kinematic profiles (rotation curves and velocity dispersion profiles) are available for 133 SHIVir galaxies. A comprehensive database of photometric and kinematic parameters for the SHIVir sample is presented with: grizH magnitudes, effective surface brightnesses, effective and isophotal radii, rotational velocities, velocity dispersions, and stellar and dynamical masses. Parameter distributions highlight some bimodal distributions and possible sample biases. A qualitative study of resolved extended velocity dispersion profiles suggests a link between the so-called ``sigma-drop'' kinematic profile and the presence of rings in lenticular S0 galaxies. Rising dispersion profiles are linked to early-type spirals or dwarf ellipticals for which a rotational component is significant, whereas peaked profiles are tied to featureless giant ellipticals.


title: Dark photon vortex formation and dynamics

abstract: We study the formation and evolution of vortices in $U(1)$ dark photon dark matter and dark photon clouds that arise through black hole superradiance. We show how the production of both longitudinal mode and transverse mode dark photon dark matter can lead to the formation of vortices. After vortex formation, the energy stored in the dark photon dark matter will be transformed into a large number of vortex strings, eradicating the coherent dark photon dark matter field. In the case where a dark photon magnetic field is produced, bundles of vortex strings are formed in a superheated phase transition, and evolve towards a configuration consisting of many string loops that are uncorrelated on large scales, analogous to a melting phase transition in condensed matter. In the process, they dissipate via dark photon and gravitational wave emission, offering a target for experimental searches. Vortex strings were also recently shown to form in dark photon superradiance clouds around black holes, and we discuss the dynamics and observational consequences of this phenomenon with phenomenologically motivated parameters. In that case, the string loops ejected from the superradiance cloud, apart from producing gravitational waves, are also quantised magnetic flux lines and can be looked for with magnetometers. We discuss the connection between the dynamics in these scenarios and similar vortex dynamics found in type II superconductors.


title: Models for the Cohomology of Certain Polyhedral Products

abstract: For a commutative ring $\mathbf k$ with unit, we describe and study various differential graded $\mathbf k$-modules and $ \mathbf k$-algebras which are models for the cohomology of polyhedral products $(\underline{CX},\underline X)^K$. Along the way, we prove that the integral cohomology $H^*((D^1, S^0)^K; \mathbb Z)$ of the real moment-angle complex is a Tor module, the one that does not come from a geometric setting. We also reveal that the apriori different cup product structures in $H^*((D^1, S^0)^K;\mathbb Z)$ and in $H^*((D^n, S^{n-1})^K; \mathbb Z)$ for $n\geq 2$ have the same origin. As an application, this work sets the stage for studying the based loop space of $(\underline{CX}, \underline X)^K$ in terms of the bar construction applied to the differential graded $\mathbb Z$-algebras $B(\mathcal C^*(\underline X; \mathbb Z), K) $ quasi-isomorphic to the singular cochain algebra $\mathcal C^*((\underline{CX},\underline X)^K;\mathbb Z)$.


title: On a close relationship between the dressed metric and the hybrid approach to perturbations in effective loop quantum cosmology

abstract: The dressed metric and the hybrid approach to perturbations are the two main approaches to capture the effects of quantum geometry in the primordial power spectrum in loop quantum cosmology. Both consider Fock quantized perturbations over a loop quantized background and result in very similar predictions except for the modes which exit the horizon in the effective spacetime in the Planck regime. Understanding precise relationship between both approaches has so far remained obscured due to differences in construction and technical assumptions. We explore this issue at the classical and effective spacetime level for linear perturbations, ignoring backreaction, which is the level at which practical computations of the power spectrum in both of the approaches have so far been performed. We first show that at the classical level both the approaches lead to the same Hamiltonian up to the second order in perturbations and result in the same classical mass functions in the Mukhanov-Sasaki equation on the physical solutions. At the effective spacetime level, the difference in phenomenological predictions between the two approaches in the Planck regime can be traced to whether one uses the Mukhanov-Sasaki variable $Q_{\vec k}$ (the dressed metric approach) or its rescaled version $\nu_{\vec k}=aQ_{\vec k}$ (the hybrid approach) to write the Hamiltonian of the perturbations, and associated polymerization ambiguities. It turns out that if in the dressed metric approach one chooses to work with $\nu_{\vec{k}}$, the effective mass function can be written exactly as in the hybrid approach, thus leading to identical phenomenological predictions in all regimes. Our results explicitly show that the dressed metric and the hybrid approaches for linear perturbations, at a practical computational level, can be seen as two sides of the same coin.


title: Bayesian Optimization in Continuous Spaces via Virtual Process Embeddings

abstract: Automated chemical synthesis, materials fabrication, and spectroscopic physical measurements often bring forth the challenge of process trajectory optimization, i.e., discovering the time dependence of temperature, electric field, or pressure that gives rise to optimal properties. Due to the high dimensionality of the corresponding vectors, these problems are not directly amenable to Bayesian Optimization (BO). Here we propose an approach based on the combination of the generative statistical models, specifically variational autoencoders, and Bayesian optimization. Here, the set of potential trajectories is formed based on best practices in the field, domain intuition, or human expertise. The variational autoencoder is used to encode the thus generated trajectories as a latent vector, and also allows for the generation of trajectories via sampling from latent space. In this manner, Bayesian Optimization of the process is realized in the latent space of the system, reducing the problem to a low-dimensional one. Here we apply this approach to a ferroelectric lattice model and demonstrate that this approach allows discovering the field trajectories that maximize curl in the system. The analysis of the corresponding polarization and curl distributions allows the relevant physical mechanisms to be decoded.

categories: cond-mat.dis-nn cond-mat.mes-hall cond-mat.mtrl-sci physics.comp-ph


title: Beyond the two-infall model I. Indications for a recent gas infall with Gaia DR3 chemical abundances

abstract: The recent Gaia Data Release 3 (DR3) represents an unparalleled revolution in Galactic Archaeology, providing us with numerous radial velocities chemical abundances for millions of stars, with all-sky coverage. We present a new chemical evolution model for the Galactic disc components (high- and low- $\alpha$ sequence stars) designed to reproduce the new abundance ratios provided by the GSP-spec module for the Gaia DR3 and also constrained by the detailed star formation histories for both the thick and thin disc stars inferred from previous Gaia releases. Sophisticated modeling based on previous Gaia releases has found evidence for narrow episodes of enhanced SF inferred in recent time. Additionally, Gaia DR3 highlighted the presence of young (massive) low-$\alpha$ disc stars which show evidence of a recent chemical impoverishment in several elements. Hence, in this study, we compare Gaia DR3 chemical abundances with the predictions of a three-infall chemical evolution model for the high- and low-$\alpha$ components. The proposed three-infall chemical evolution model nicely reproduces the main features of the abundance ratio [X/Fe] versus [M/H] (X=Mg, Si, Ca, Ti, $\alpha$) of Gaia DR3 stars in different age bins for the considered $\alpha$ elements. Moreover, the most recent gas infall - which started $\sim$ 2.7 Gyr ago - allows us to predict well the Gaia DR3 young population which has experienced a recent chemical impoverishment.


title: The origin and evolution of the normal Type Ia SN 2018aoz with infant-phase reddening and excess emission

abstract: SN~2018aoz is a Type Ia SN with a $B$-band plateau and excess emission in the infant-phase light curves $\lesssim$ 1 day after first light, evidencing an over-density of surface iron-peak elements as shown in our previous study. Here, we advance the constraints on the nature and origin of SN~2018aoz based on its evolution until the nebular phase. Near-peak spectroscopic features show the SN is intermediate between two subtypes of normal Type Ia: Core-Normal and Broad-Line. The excess emission could have contributions from the radioactive decay of surface iron-peak elements as well as ejecta interaction with either the binary companion or a small torus of circumstellar material. Nebular-phase limits on H$\alpha$ and He~I favour a white dwarf companion, consistent with the small companion size constrained by the low early SN luminosity, while the absence of [O~I] and He~I disfavours a violent merger of the progenitor. Of the two main explosion mechanisms proposed to explain the distribution of surface iron-peak elements in SN~2018aoz, the asymmetric Chandrasekhar-mass explosion is less consistent with the progenitor constraints and the observed blueshifts of nebular-phase [Fe~II] and [Ni~II]. The helium-shell double-detonation explosion is compatible with the observed lack of C spectral features, but current 1-D models are incompatible with the infant-phase excess emission, $B_{\rm max}-V_{\rm max}$ color, and absence of nebular-phase [Ca~II]. Although the explosion processes of SN~2018aoz still need to be more precisely understood, the same processes could produce a significant fraction of Type Ia SNe that appear normal after $\sim$ 1 day.


title: Entanglement Entropy of Non-Hermitian Eigenstates and the Ginibre Ensemble

abstract: Entanglement entropy is a powerful tool in characterizing universal features in quantum many-body systems. In quantum chaotic Hermitian systems, typical eigenstates have near maximal entanglement with very small fluctuations. Here, we show that for Hamiltonians displaying non-Hermitian many-body quantum chaos, modeled by the Ginibre ensemble, the entanglement entropy of typical eigenstates is greatly suppressed. The entropy does not grow with the Hilbert space dimension for sufficiently large systems and the fluctuations are of equal order. We derive the novel entanglement spectrum that has infinite support in the complex plane and strong energy dependence. We provide evidence of universality and similar behavior is found in the non-Hermitian Sachdev-Ye-Kitaev (nSYK) model, indicating the general applicability of the Ginibre ensemble to dissipative many-body quantum chaos.


title: Detectability and parameter estimation of GWTC-3 events with LISA

abstract: Multiband observations of coalescing stellar-mass black holes binaries could deliver valuable information on the formation of those sources and potential deviations from General Relativity. Some of these binaries might be first detected by the space-based detector LISA and, then, several years later, observed with ground-based detectors. Due to large uncertainties in astrophysical models, it is hard to predict the population of such binaries that LISA could observe. In this work, we assess the ability of LISA to detect the events of the third catalogue of gravitational wave sources released by the LIGO/Virgo/KAGRA collaboration. We consider the possibility of directly detecting the source with LISA and performing archival searches in the LISA data stream, after the event has been observed with ground-based detectors. We also assess how much could LISA improve the determination of source parameters. We find that it is not guaranteed that any event other than GW150914 would have been detected. Nevertheless, if any event is detected by LISA, even with a very low signal-to-noise ratio, the measurement of source parameters would improve by combining observations of LISA and ground based detectors, in particular for the chirp mass.


title: Undetectable GPS-Spoofing Attack on Time Series Phasor Measurement Unit Data

abstract: The Phasor Measurement Unit (PMU) is an important metering device for smart grid. Like any other Intelligent Electronic Device (IED), PMUs are prone to various types of cyberattacks. However, one form of attack is unique to the PMU, the GPS-spoofing attack, where the time and /or the one second pulse (1 PPS) that enables time synchronization are modified and the measurements are computed using the modified time reference. This article exploits the vulnerability of PMUs in their GPS time synchronization signal. At first, the paper proposes an undetectable gradual GPS-spoofing attack with small incremental angle deviation over time. The angle deviation changes power flow calculation through the branches of the grids, without alerting the System Operator (SO) during off-peak hour. The attacker keeps instigating slow incremental variation in power flow calculation caused by GPS-spoofing relentlessly over a long period of time, with a goal of causing the power flow calculation breach the MVA limit of the branch at peak-hour. The attack is applied by solving a convex optimization criterion at regular time interval, so that after a specific time period the attack vector incurs a significant change in the angle measurements transmitted by the PMU. Secondly, while the attack modifies the angle measurements with GPS-spoofing attack, it ensures the undetectibility of phase angle variation by keeping the attack vector less than attack detection threshold. The proposed attack model is tested with Weighted Least Squared Error (WLSE), Kalman Filtering, and Hankel-matrix based GPS-spoofing attack detection models. Finally, we have proposed a gradient of low-rank approximation of Hankel-matrix based detection method to detect such relentless small incremental GPS-spoofing attack.


title: Joint Representation Training in Sequential Tasks with Shared Structure

abstract: Classical theory in reinforcement learning (RL) predominantly focuses on the single task setting, where an agent learns to solve a task through trial-and-error experience, given access to data only from that task. However, many recent empirical works have demonstrated the significant practical benefits of leveraging a joint representation trained across multiple, related tasks. In this work we theoretically analyze such a setting, formalizing the concept of task relatedness as a shared state-action representation that admits linear dynamics in all the tasks. We introduce the Shared-MatrixRL algorithm for the setting of Multitask MatrixRL. In the presence of $P$ episodic tasks of dimension $d$ sharing a joint $r \ll d$ low-dimensional representation, we show the regret on the the $P$ tasks can be improved from $O(PHd\sqrt{NH})$ to $O((Hd\sqrt{rP} + HP\sqrt{rd})\sqrt{NH})$ over $N$ episodes of horizon $H$. These gains coincide with those observed in other linear models in contextual bandits and RL. In contrast with previous work that have studied multi task RL in other function approximation models, we show that in the presence of bilinear optimization oracle and finite state action spaces there exists a computationally efficient algorithm for multitask MatrixRL via a reduction to quadratic programming. We also develop a simple technique to shave off a $\sqrt{H}$ factor from the regret upper bounds of some episodic linear problems.


title: Families of $\phi$-congruence subgroups of the modular group

abstract: We introduce and study families of finite index subgroups of the modular group that generalize the congruence subgroups. Such groups, termed $\phi$-congruence subgroups, are obtained by reducing homomorphisms $\phi$ from the modular group into a linear algebraic group modulo integers. In particular, we examine two families of examples, arising on the one hand from a map into a quasi-unipotent group, and on the other hand from maps into symplectic groups of degree four. In the quasi-unipotent case we also provide a detailed discussion of the corresponding modular forms, using the fact that the tower of curves in this case contains the tower of isogenies over the elliptic curve $y^2=x^3-1728$ defined by the commutator subgroup of the modular group.


title: A Machine Learning Approach for Rate Constants III: Application to the Cl($^2$P) + CH$_4$ $\rightarrow$ CH$_3$ + HCl Reaction

abstract: The temperature dependence of the thermal rate constant for the reaction Cl($^2$P) + CH$_4$ $\rightarrow$ CH$_3$ + HCl is calculated using a Gaussian Process machine learning (ML) approach to train on and predict thermal rate constants over a large temperature range. Following procedures developed in two previous reports, we use a training dataset of approximately 40 reaction/potential surface combinations, each of which is used to calculate the corresponding data base of rate constant at approximately eight temperatures. For the current application, we train on the entire dataset and then predict the temperature dependence of the title reaction employing a "split" dataset for correction at low and high temperatures to capture both tunneling and recrossing. The results are an improvement on recent RPMD calculations compared to accurate quantum ones, using the same high-level ab initio potential energy surface. Both tunneling at low temperatures and recrossing at high temperatures are observed to influence the rate constants. Recrossing effects, which are not described by TST and even sophisticated tunneling corrections, do appear in experiment at temperatures above around 600 K. The ML results describe these effects and in fact, merge at 600 K with RPMD results (which can describe recrossing), and both are close to experiment at the highest experimental temperatures.


title: Gated Domain Units for Multi-source Domain Generalization

abstract: The phenomenon of distribution shift (DS) occurs when a dataset at test time differs from the dataset at training time, which can significantly impair the performance of a machine learning model in practical settings due to a lack of knowledge about the data's distribution at test time. To address this problem, we postulate that real-world distributions are composed of latent Invariant Elementary Distributions (I.E.D) across different domains. This assumption implies an invariant structure in the solution space that enables knowledge transfer to unseen domains. To exploit this property for domain generalization, we introduce a modular neural network layer consisting of Gated Domain Units (GDUs) that learn a representation for each latent elementary distribution. During inference, a weighted ensemble of learning machines can be created by comparing new observations with the representations of each elementary distribution. Our flexible framework also accommodates scenarios where explicit domain information is not present. Extensive experiments on image, text, and graph data show consistent performance improvement on out-of-training target domains. These findings support the practicality of the I.E.D assumption and the effectiveness of GDUs for domain generalisation.


title: Shortcuts to thermodynamic quasistaticity

abstract: The operation of near-term quantum technologies requires the development of feasible, implementable, and robust strategies of controlling complex many body systems. To this end, a variety of techniques, so-called "shortcuts to adiabaticty", have been developed. Many of these shortcuts have already been demonstrated to be powerful and implementable in distinct scenarios. Yet, it is often also desirable to have additional, approximate strategies available, that are applicable to a large class of systems. In this work, we hence take inspiration from thermodynamics and propose to focus on the macrostate, rather than the microstate. Adiabatic dynamics can then be identified as such processes that preserve the equation of state, and systematic corrections are obtained from adiabatic perturbation theory. We demonstrate this approach by improving upon fast quasiadiabatic driving, and by applying the method to the quantum Ising chain in the transverse field.


title: A multi-epoch, multi-wavelength study of the classical FUor V1515 Cyg approaching quiescence

abstract: Historically, FU Orionis-type stars are low-mass, pre-main sequence stars. The members of this class experience powerful accretion outbursts and remain in an enhanced accretion state for decades or centuries. V1515 Cyg, a classical FUor, started brightening in the 1940s and reached its peak brightness in the late 1970s. Following a sudden decrease in brightness it stayed in a minimum state for a few months, then started a brightening for several years. We present results of our ground-based photometric monitoring complemented with optical/NIR spectroscopic monitoring. Our light curves show a long-term fading with strong variability on weekly and monthly time scales. The optical spectra show P Cygni profiles and broad blue-shifted absorption lines, common properties of FUors. However, V1515 Cyg lacks the P Cygni profile in the Ca II 8498 \r{A} line, a part of the Ca infrared triplet (IRT), formed by an outflowing wind, suggesting that the absorbing gas in the wind is optically thin. The newly obtained near-infrared spectrum shows the strengthening of the CO bandhead and the FeH molecular band, indicating that the disk has become cooler since the last spectroscopic observation in 2015. The current luminosity of the accretion disk dropped from the peak value of 138 $L_{\odot}$ to about 45 $L_{\odot}$, suggesting that the long-term fading is also partly caused by the dropping of the accretion rate.


title: XMD: An Expansive Hardware-telemetry based Mobile Malware Detector to enhance Endpoint Detection

abstract: Hardware-based Malware Detectors (HMDs) have shown promise in detecting malicious workloads. However, the current HMDs focus solely on the CPU core of a System-on-Chip (SoC) and, therefore, do not exploit the full potential of the hardware telemetry. In this paper, we propose XMD, an HMD that uses an expansive set of telemetry channels extracted from the different subsystems of SoC. XMD exploits the thread-level profiling power of the CPU-core telemetry, and the global profiling power of non-core telemetry channels, to achieve significantly better detection performance than currently used Hardware Performance Counter (HPC) based detectors. We leverage the concept of manifold hypothesis to analytically prove that adding non-core telemetry channels improves the separability of the benign and malware classes, resulting in performance gains. We train and evaluate XMD using hardware telemetries collected from 723 benign applications and 1033 malware samples on a commodity Android Operating System (OS)-based mobile device. XMD improves over currently used HPC-based detectors by 32.91% for the in-distribution test data. XMD achieves the best detection performance of 86.54% with a false positive rate of 2.9%, compared to the detection rate of 80%, offered by the best performing signature-based Anti-Virus(AV) on VirusTotal, on the same set of malware samples.


title: Introduction to 2-dimensional Topological Quantum Field Theory

abstract: Mostly self-contained script on functorial topological quantum field theories. These notes give a slow introduction to the basic notions of category theory which serve a closer investigation of cobordisms and (commutative) Frobenius algebras. In the fourth chapter the axiomatic definition of TQFTs is motivated and some folklore results about the equivalence of (symmetric) monoidal functors and (commutative) Frobenius algebras are proven. The script can serve as material for an introductory course.


title: OPERA: Harmonizing Task-Oriented Dialogs and Information Seeking Experience

abstract: Existing studies in conversational AI mostly treat task-oriented dialog (TOD) and question answering (QA) as separate tasks. Towards the goal of constructing a conversational agent that can complete user tasks and support information seeking, it is important to build a system that handles both TOD and QA with access to various external knowledge. In this work, we propose a new task, Open-Book TOD (OB-TOD), which combines TOD with QA task and expand external knowledge sources to include both explicit knowledge sources (e.g., the Web) and implicit knowledge sources (e.g., pre-trained language models). We create a new dataset OB-MultiWOZ, where we enrich TOD sessions with QA-like information seeking experience grounded on external knowledge. We propose a unified model OPERA (Open-book End-to-end Task-oriented Dialog) which can appropriately access explicit and implicit external knowledge to tackle the defined task. Experimental results demonstrate OPERA's superior performance compared to closed-book baselines and illustrate the value of both knowledge types.


title: Fast and Optimal Adaptive Tracking Control: A Novel Meta-Reinforcement Learning via Conditional Generative Adversarial Net

abstract: The control of nonlinear systems with unknown dynamics has been a significant field of research for many years. This paper presents a novel data-driven optimal adaptive control structure with less control effort and faster adaptation than standard adaptive control counterparts. The proposed control structure utilizes the system's recorded data to increase the speed of adaptation and performance dramatically. In this study, we employ a conditional generative adversarial net (CGAN) as a novel central pattern generator to reproduce the steady-state harmonic pattern of the control signals matching the system's uncertainties over a wide range. We can also use the CGAN architecture as a fault detector. The CGAN provides a low-dimensional latent space of uncertainties. It enables rapid and convenient adaptation when there are many parametric uncertainties, especially for large-scale systems. Then, we introduce a novel meta-reinforcement learning framework to adapt the latent space of CGAN to the system's uncertainties as an optimal direct adaptive controller without any system identifier. Another part of the control structure is a regulator that achieves semi-global asymptotic tracking using the Lyapunov stability analysis. Finally, via some simulations, we evaluate the capabilities of the proposed designs on two dynamical systems, a robot manipulator and a large-scale musculoskeletal structure, in the presence of disturbance and perturbation.


title: Analytical Properties for a Stochastic Rotating Shallow Water Model under Location Uncertainty

abstract: The rotating shallow water model is a simplification of oceanic and atmospheric general circulation models that are used in many applications such as surge prediction, tsunami tracking and ocean modelling. In this paper we introduce a class of rotating shallow water models which are stochastically perturbed in order to incorporate model uncertainty into the underlying system. The stochasticity is chosen in a judicious way, by following the principles of location uncertainty, as introduced in [M\'emin, 2014]. We prove that the resulting equation is part of a class of stochastic partial differential equations that have unique maximal strong solutions. The methodology is based on the construction of an approximating sequence of models taking value in an appropriately chosen finite-dimensional Littlewood-Paley space. Finally, we show that a distinguished element of this class of stochastic partial differential equations has a global weak solution.


title: Vibration fault detection in wind turbines based on normal behaviour models without feature engineering

abstract: Most wind turbines are remotely monitored 24/7 to allow for an early detection of operation problems and developing damage. We present a new fault detection method for vibration-monitored drivetrains that does not require any feature engineering. Our method relies on a simple model architecture to enable a straightforward implementation in practice. We propose to apply convolutional autoencoders for identifying and extracting the most relevant features from the half spectrum in an automated manner, saving time and effort. Thereby, a spectral model of the normal vibration response is learnt for the monitored component from past measurements. We demonstrate that the model can successfully distinguish damaged from healthy components and detect a damaged generator bearing and damaged gearbox parts from their vibration responses. Using measurements from commercial wind turbines and a test rig, we show that vibration-based fault detection in wind turbine drivetrains can be performed without the usual upfront definition of spectral features. Another advantage of the presented method is that the entire half spectrum is monitored instead of the usual focus on monitoring individual frequencies and harmonics.


title: Multi-point Scattering Measurements for Effective Property Extraction from Metamaterials with Skin Effects

abstract: Scattering experiments can be leveraged to extract the effective properties of a heterogeneous metamaterial slab based on multi-point measurements in surrounding media. In this technique, two measurements are made in the ambient media on each side of a finite thickness micro-structured slab to decompose incoming and outgoing waves. The method is applied to an example with locally resonant micro-structured inclusions while paying close attention to parameters that influence the extracted material parameters. It is observed that the extracted overall parameters converge to limiting values when the number of unit cells across the slab thickness or ambient media modulus are increased. Dependence of extracted material parameters on the number of cells through thickness or ambient media properties are attributed to the different response of boundary (skin) and interior cells. A method is presented which represents a finite array with different effective properties for the skin regions vs. the interior regions with great success in reproducing the scattering for different slab thicknesses, and through which the interior regions properties become independent of ambient media properties. In stop bands with lower material loss, challenges arise that are associated with extremely small transmission. The assumption of continuity in transmission phase is enforceable to remove phase ambiguity, although in certain cases (associated with nearly lossless specimens) this assumption appears to fail. In such cases, interference from coupled shear modes may lead to apparent higher longitudinal transmission within the stop band. This work provides a proof of concept for the development of an experimental methodology capable of extracting the effective properties and dispersion behavior of heterogeneous mechanical metamaterials without any knowledge of the internal fields.


title: Strategies for the Determination of the Running Coupling of $(2+1)$-dimensional QED with Quantum Computing

abstract: We propose to utilize NISQ-era quantum devices to compute short distance quantities in $(2+1)$-dimensional QED and to combine them with large volume Monte Carlo simulations and perturbation theory. On the quantum computing side, we perform a calculation of the mass gap in the small and intermediate regime, demonstrating, in the latter case, that it can be resolved reliably. The so obtained mass gap can be used to match corresponding results from Monte Carlo simulations, which can be used eventually to set the physical scale. In this paper we provide the setup for the quantum computation and show results for the mass gap and the plaquette expectation value. In addition, we discuss some ideas that can be applied to the computation of the running coupling. Since the theory is asymptotically free, it would serve as a training ground for future studies of QCD in $(3+1)$-dimensions on quantum computers.


title: Ev-NeRF: Event Based Neural Radiance Field

abstract: We present Ev-NeRF, a Neural Radiance Field derived from event data. While event cameras can measure subtle brightness changes in high frame rates, the measurements in low lighting or extreme motion suffer from significant domain discrepancy with complex noise. As a result, the performance of event-based vision tasks does not transfer to challenging environments, where the event cameras are expected to thrive over normal cameras. We find that the multi-view consistency of NeRF provides a powerful self-supervision signal for eliminating the spurious measurements and extracting the consistent underlying structure despite highly noisy input. Instead of posed images of the original NeRF, the input to Ev-NeRF is the event measurements accompanied by the movements of the sensors. Using the loss function that reflects the measurement model of the sensor, Ev-NeRF creates an integrated neural volume that summarizes the unstructured and sparse data points captured for about 2-4 seconds. The generated neural volume can also produce intensity images from novel views with reasonable depth estimates, which can serve as a high-quality input to various vision-based tasks. Our results show that Ev-NeRF achieves competitive performance for intensity image reconstruction under extreme noise conditions and high-dynamic-range imaging.


title: The complex dynamical past and future of double eclipsing binary CzeV343: misaligned orbits and period resonance

abstract: CzeV343 (=V849 Aur) was previously identified as a candidate double eclipsing binary (2+2 quadruple), where the orbital periods of the two eclipsing binaries ($P_A \approx 1.2$ days and $P_B \approx 0.8$ days) lie very close to 3:2 resonance. Here, we analyze 11 years of ground-based photometry, 4 sectors of TESS 2-minute and full-frame photometry, and two optical spectra. We construct a global model of our photometry, including apsidal motion of binary A and light-travel time effect (LTTE) of the mutual outer orbit, and explore the parameter space with Markov Chain Monte Carlo. We estimate component masses for binary A ($1.8+1.3 M_\odot$) and binary B ($1.4+1.2 M_\odot$). We identify pseudo-synchronous rotation signal of binary A in TESS photometry. We detect apsidal motion in binary A with a period of about 33 years, which is fully explained by tidal and rotational contributions of stars aligned with the orbit. The mutual orbit has a period of about 1450 days and eccentricity of about 0.7. The LTTE amplitude is small, which points to low inclination of the outer orbit and a high degree of misalignment with the inner orbits. We find that when apsidal motion and mutual orbit are taken into account the orbital period resonance is exact to within $10^{-5}$ cycles/day. Many properties of CzeV343 are not compatible with requirements of the 3:2 resonance capture theory for coplanar orbits. Future evolution of CzeV343 can lead to mergers, triple common envelope, double white dwarf binaries, or a Type Ia supernova. More complex evolutionary pathways will likely arise from dynamical instability caused by orbital expansion when either of the binaries undergoes mass transfer. This instability has not been so far explored in 2+2 quadruples.


title: Probability Theoretic Generalizations of Hardy's and Copson's Inequality

abstract: A short proof of the classic Hardy inequality is presented for $p$-norms with $p>1$. Along the lines of this proof a sharpened version is proved of a recent generalization of Hardy's inequality in the terminology of probability theory. A probability theoretic version of Copson's inequality is discussed as well. Also for $0<p<1$ probability theoretic generalizations of the Hardy and the Copson inequality are proved.